Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. more node status information;
  3. tuned signature;
  4. tuned signature;
  5. shutdown ML process before output: Theories_Result is timeless/stateless;
  6. more operations; more output;
  7. more accurate dependencies; tuned;
  8. tuned;
  9. more formal dump aspects; support output dir;
  10. more operations (as in ML);
  11. clarified option -O: avoid conflict with build/dump option -D;
  12. slicker proof
  13. canonical names
  14. merged
  15. more general tidying
Changeset 68324:88c07fabd5b4 by wenzelm:
merged
Changeset 68323:bf7336731981 by wenzelm:
more node status information;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
Changeset 68322:100f018096c8 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 68321:daca5f2a0c90 by wenzelm:
tuned signature;
The file was modified src/Pure/General/graph.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 68320:1d33697199c1 by wenzelm:
shutdown ML process before output: Theories_Result is timeless/stateless;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68319:2e168460a9c3 by wenzelm:
more operations;<br>more output;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68318:5971199863ea by wenzelm:
more accurate dependencies;<br>tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68317:938803796a8b by wenzelm:
tuned;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 68316:a1e5de3681f0 by wenzelm:
more formal dump aspects;<br>support output dir;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68315:d088799fd278 by wenzelm:
more operations (as in ML);
The file was modified src/Pure/General/exn.scala (diff)
Changeset 68314:2acbf8129d8b by wenzelm:
clarified option -O: avoid conflict with build/dump option -D;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68313:56c57e91edf9 by nipkow:
slicker proof
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)
Changeset 68312:e9b5f25f6712 by nipkow:
canonical names
The file was addedsrc/HOL/Library/List_Lexorder.thy
The file was modified src/HOL/Library/Fun_Lexorder.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/ex/Radix_Sort.thy (diff)
The file was removedsrc/HOL/Library/List_lexord.thy
Changeset 68311:c551d8acaa42 by paulson:
merged
Changeset 68310:d0a7ddf5450e by paulson _lp15@cam.ac.uk_:
more general tidying
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Fashoda_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)