Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

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

Summary

  1. merged
  2. updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default);
  3. clarified HTML_Context: more explicit directory structure;
  4. tuned comments;
  5. tuned;
  6. clarified signature;
  7. clarified properties: avoid empty entry;
  8. tuned signature;
Changeset 74772:2b212c8138a5 by wenzelm:
merged
Changeset 74771:8e590adaac5e by wenzelm:
updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default);
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified Admin/polyml/README
Changeset 74770:32c2587cda4f by wenzelm:
clarified HTML_Context: more explicit directory structure;
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Tools/build.scala
The file was modified src/Tools/VSCode/src/preview_panel.scala
The file was modified src/Tools/jEdit/src/document_model.scala
Changeset 74769:5d84f0312a3a by wenzelm:
tuned comments;
The file was modified src/Pure/Thy/presentation.scala
Changeset 74768:5783c15ba69c by wenzelm:
tuned;
The file was modified src/Pure/Thy/presentation.scala
Changeset 74767:0579ff142613 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Tools/build.scala
The file was modified src/Tools/VSCode/src/preview_panel.scala
The file was modified src/Tools/jEdit/src/document_model.scala
Changeset 74766:71a447e4073b by wenzelm:
clarified properties: avoid empty entry;
The file was modified src/Pure/General/name_space.ML
The file was modified src/Pure/Thy/presentation.scala
Changeset 74765:275c43a89887 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/presentation.scala