Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified dependencies: "isabelle build -S" should be invariant wrt. change of ML system or platform;
  3. clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
Changeset 67106:66fda545327f by wenzelm:
tuned;
The file was modified src/HOL/Tools/Nunchaku/nunchaku_tool.ML (diff)
Changeset 67105:05ff3e6dbbce by wenzelm:
clarified dependencies: "isabelle build -S" should be invariant wrt. change of ML system or platform;
The file was modified src/Pure/ML_Bootstrap.thy (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 67104:a2fa0c6a7aff by wenzelm:
clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
The file was modified src/Pure/PIDE/resources.ML (diff)
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)