Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper status after commit;
  2. obsolete (see aec64b88e708);
  3. proper return code for runtime failure;
  4. clarified errors: no result from forced session.stop, check pending theories;
Changeset 69035:d75cd481f8d9 by wenzelm:
proper status after commit;
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 69034:855c3c501b09 by wenzelm:
obsolete (see aec64b88e708);
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 69033:c5db368833b1 by wenzelm:
proper return code for runtime failure;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 69032:90bb4cabe1e8 by wenzelm:
clarified errors: no result from forced session.stop, check pending theories;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)