Skip to content
[Jenkins]Jenkins
log in
Success

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;
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)