Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name);
  2. tuned;
  3. clarified modules;
  4. tuned signature;
Changeset 77197:a541da01ba67 by wenzelm:
clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name);
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/document_editor.scala
The file was modified src/Pure/PIDE/editor.scala
The file was modified src/Pure/Thy/document_build.scala
The file was modified src/Tools/jEdit/src/theories_status.scala
Changeset 77196:3d709d300d0f by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_dockable.scala
Changeset 77195:e312c7fa3bad by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/document_editor.scala
The file was modified src/Tools/jEdit/src/document_dockable.scala
Changeset 77194:7438d516ab4f by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/document_dockable.scala