Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to post-release mode;
  2. updated for release;
  3. Added tag Isabelle2021-1-RC3 for changeset 2b212c8138a5
  4. merged
  5. updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default);
  6. clarified HTML_Context: more explicit directory structure;
  7. tuned comments;
  8. tuned;
  9. clarified signature;
  10. clarified properties: avoid empty entry;
  11. tuned signature;
  12. merged
  13. tuned (thanks to J. Villadsen)
  14. added padding to Mirabelle's output
Changeset 74775:4f1c1c7eb95f by wenzelm:
back to post-release mode;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 74774:c60fa7a116b7 by wenzelm:
updated for release;
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 74773:93b38d76de17 by wenzelm:
Added tag Isabelle2021-1-RC3 for changeset 2b212c8138a5
The file was modified .hgtags (diff)
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 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 74770:32c2587cda4f by wenzelm:
clarified HTML_Context: more explicit directory structure;
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 74769:5d84f0312a3a by wenzelm:
tuned comments;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74768:5783c15ba69c by wenzelm:
tuned;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74767:0579ff142613 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 74766:71a447e4073b by wenzelm:
clarified properties: avoid empty entry;
The file was modified src/Pure/General/name_space.ML (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74765:275c43a89887 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 74764:adb10e840b71 by nipkow:
merged
Changeset 74763:dbac0ebb4a85 by nipkow:
tuned (thanks to J. Villadsen)
The file was modified src/Doc/Prog_Prove/Logic.thy (diff)
The file was modified src/Doc/Prog_Prove/Types_and_funs.thy (diff)
Changeset 74762:8362a5b2c2dd by desharna:
added padding to Mirabelle's output
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)