Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. discontinued obsolete "isabelle imports" and all_known data;
  2. avoid duplicate directories wrt. synthetic session;
  3. disallow accidental duplicates within the same session specification -- proper total match;
  4. find theory files via session structure: much faster Prover IDE startup;
Changeset 70686:9cde8c4ea5a5 by wenzelm:
discontinued obsolete "isabelle imports" and all_known data;
The file was modified NEWS
The file was modified src/Doc/System/Sessions.thy
The file was modified src/Pure/System/isabelle_tool.scala
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/build-jars
The file was removedsrc/Pure/Tools/imports.scala
Changeset 70685:c1597167563e by wenzelm:
avoid duplicate directories wrt. synthetic session;
The file was modified src/Pure/Thy/sessions.scala
Changeset 70684:60b1eda998f3 by wenzelm:
disallow accidental duplicates within the same session specification -- proper total match;
The file was modified src/Pure/Thy/sessions.scala
Changeset 70683:8c7706b053c7 by wenzelm:
find theory files via session structure: much faster Prover IDE startup;
The file was modified NEWS
The file was modified src/Doc/JEdit/JEdit.thy
The file was modified src/Pure/ML/ml_process.scala
The file was modified src/Pure/PIDE/headless.scala
The file was modified src/Pure/PIDE/protocol.ML
The file was modified src/Pure/PIDE/protocol.scala
The file was modified src/Pure/PIDE/resources.ML
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/sessions.ML
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build.ML
The file was modified src/Pure/Tools/build.scala
The file was modified src/Pure/Tools/imports.scala
The file was modified src/Tools/VSCode/src/server.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
The file was modified src/Tools/jEdit/lib/Tools/jedit
The file was modified src/Tools/jEdit/src/jedit_resources.scala
The file was modified src/Tools/jEdit/src/jedit_sessions.scala