Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. tuned;
  4. tuned;
  5. eliminated pointless flag (see also 6533ceee4cd7);
  6. tuned;
  7. merged
  8. structured a lot of ancient, horrible proofs
  9. clarified Isabelle_Process phases;
  10. clarified order: update syslog before handling exit;
  11. tuned error message;
  12. clarified signature: more robust startup_join;
Changeset 71615:74c874b5aed0 by wenzelm:
merged
Changeset 71614:e6dead7d5334 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71613:6bce25f9d0ab by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71612:e0a5d6068141 by wenzelm:
tuned;
The file was modified src/Pure/System/command_line.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71611:fb6953e77000 by wenzelm:
eliminated pointless flag (see also 6533ceee4cd7);
The file was modified src/Pure/PIDE/session.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71610:5730eb952208 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/simplifier_trace.scala (diff)
Changeset 71609:beef2e221c26 by paulson:
merged
Changeset 71608:856c68ab6f13 by paulson _lp15@cam.ac.uk_:
structured a lot of ancient, horrible proofs
The file was modified src/HOL/Equiv_Relations.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
Changeset 71607:d97f504c8145 by wenzelm:
clarified Isabelle_Process phases;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 71606:b3b0d87edd20 by wenzelm:
clarified order: update syslog before handling exit;
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 71605:f7a652732f4e by wenzelm:
tuned error message;
The file was modified src/Pure/System/isabelle_process.scala (diff)
Changeset 71604:c6fa217c9d5e by wenzelm:
clarified signature: more robust startup_join;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)