Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. find theory node name via session directories;
  2. disallow overlapping session directories;
Changeset 70682:4c53227f4b73 by wenzelm:
find theory node name via session directories;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
Changeset 70681:a6c0f2d106c8 by wenzelm:
disallow overlapping session directories;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)