Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. another isabelle_scala_service;
  3. tuned;
  4. tuned -- avoid deprecated operations;
  5. more general support for isabelle_scala_service; clarified File_Format.registry;
Changeset 71737:7ff701556063 by wenzelm:
merged
Changeset 71736:a2afc7ed2c68 by wenzelm:
another isabelle_scala_service;
The file was modified NEWS
The file was modified etc/settings
The file was modified lib/scripts/getfunctions
The file was modified src/Pure/System/isabelle_tool.scala
Changeset 71735:9644811b5b0a by wenzelm:
tuned;
The file was modified src/Pure/Tools/spell_checker.scala
Changeset 71734:713fafb3de79 by wenzelm:
tuned -- avoid deprecated operations;
The file was modified src/Pure/PIDE/protocol_handlers.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 71733:6c470c918aad by wenzelm:
more general support for isabelle_scala_service;<br>clarified File_Format.registry;
The file was modified NEWS
The file was modified etc/settings
The file was modified lib/scripts/getfunctions
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Pure/Thy/file_format.scala
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/jEdit/src/document_model.scala