Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. merged
  3. A few new Sup/Inf lemmas
  4. clarified messages;
  5. tuned signature: follow terminology of VSCode_Resources;
Changeset 76772:602ddfb744b1 by paulson:
merged
Changeset 76771:addc7ff121e1 by paulson:
merged
Changeset 76770:04d7c8496b3d by paulson _lp15@cam.ac.uk_:
A few new Sup/Inf lemmas
The file was modified src/HOL/Conditionally_Complete_Lattices.thy (diff)
Changeset 76769:0438622a7b9c by wenzelm:
clarified messages;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76768:40c8275f0131 by wenzelm:
tuned signature: follow terminology of VSCode_Resources;
The file was modified src/Tools/jEdit/jedit_main/isabelle_sidekick.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)