Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. tuned -- no duplicates;
Changeset 10598:98320942654a by wenzelm:
tuned -- no duplicates;
The file was modified thys/Iptables_Semantics/ROOT

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

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
The file was modified src/Tools/VSCode/src/vscode_resources.scala
The file was modified src/Tools/jEdit/src/jedit_resources.scala
Changeset 70681:a6c0f2d106c8 by wenzelm:
disallow overlapping session directories;
The file was modified NEWS
The file was modified src/Doc/System/Sessions.thy
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Sessions.thy
The file was modified src/Pure/Thy/sessions.ML
The file was modified src/Pure/Thy/sessions.scala