Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. more symbols;
  3. Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread; tuned;
  4. clarified: consolidated result is last command;
  5. support for anonymous print function values; clarified treatment of retained_prints;
  6. tuned;
  7. store Isabelle symbols in canonical form; tuned signature;
  8. clarified outermost progress.interrupt_handler;
  9. report theory progress via PIDE node status;
  10. merge
  11. more conservative output, avoiding nonstandard feature of E
  12. merged
  13. winding numbers predicate
Changeset 68338:3f60cba346aa by wenzelm:
merged
Changeset 68337:70818e1bb151 by wenzelm:
more symbols;
The file was modified src/HOL/SPARK/Tools/spark_commands.ML (diff)
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
Changeset 68336:09ac56914b29 by wenzelm:
Document.update includes node consolidation / presentation as regular print operation: avoid user operations on protocol thread;<br>tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
Changeset 68335:2f080a51a10d by wenzelm:
clarified: consolidated result is last command;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 68334:ed40728c45d0 by wenzelm:
support for anonymous print function values;<br>clarified treatment of retained_prints;
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 68333:82dcd0d87fb1 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 68332:7cb681615d0e by wenzelm:
store Isabelle symbols in canonical form;<br>tuned signature;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68331:7eaaa8f48331 by wenzelm:
clarified outermost progress.interrupt_handler;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68330:d7920eb7de54 by wenzelm:
report theory progress via PIDE node status;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68329:9946707cf329 by blanchet:
merge
Changeset 68328:0d751da653d9 by blanchet:
more conservative output, avoiding nonstandard feature of E
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
Changeset 68327:7d946d8bc058 by paulson:
merged
Changeset 68326:3c71695ff7ce by paulson _lp15@cam.ac.uk_:
winding numbers predicate
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)