Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified init of settings vs. services;
  2. tuned message;
  3. merged
  4. another isabelle_scala_service;
  5. tuned;
  6. tuned -- avoid deprecated operations;
  7. more general support for isabelle_scala_service; clarified File_Format.registry;
  8. merged
  9. merged
  10. Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1
  11. more robust: notably for sledgehammer with 'using' and prover=cvc4;
Changeset 71739:c0bc99aad936 by wenzelm:
clarified init of settings vs. services;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 71738:3d514ab74161 by wenzelm:
tuned message;
The file was modified src/Pure/Thy/file_format.scala (diff)
Changeset 71737:7ff701556063 by wenzelm:
merged
Changeset 71736:a2afc7ed2c68 by wenzelm:
another isabelle_scala_service;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 71735:9644811b5b0a by wenzelm:
tuned;
The file was modified src/Pure/Tools/spell_checker.scala (diff)
Changeset 71734:713fafb3de79 by wenzelm:
tuned -- avoid deprecated operations;
The file was modified src/Pure/PIDE/protocol_handlers.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 71733:6c470c918aad by wenzelm:
more general support for isabelle_scala_service;<br>clarified File_Format.registry;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified lib/scripts/getfunctions (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/System/isabelle_system.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 71732:ada8812f5a9e by wenzelm:
merged
Changeset 71731:d8e60a0ffa02 by wenzelm:
merged
Changeset 71730:5e810ff0346d by wenzelm:
Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1
The file was modified .hgtags (diff)
Changeset 71729:8ed68b2aeba1 by wenzelm:
more robust: notably for sledgehammer with &#039;using&#039; and prover=cvc4;
The file was modified src/Pure/Isar/subgoal.ML (diff)