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. clarified data structures; eliminated presumably obsolete check of known_theories: should be unique by construction;
  3. unused;
Changeset 70741:49ae62f84901 by wenzelm:
merged
Changeset 70740:525c18b8ed53 by wenzelm:
clarified data structures;<br>eliminated presumably obsolete check of known_theories: should be unique by construction;
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/Thy/sessions.scala
Changeset 70739:29243d779b61 by wenzelm:
unused;
The file was modified src/Pure/Thy/sessions.scala