Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned -- according to main website;
  2. more ambitious compression;
  3. tuned signature;
  4. completion for \<^const>, although it often requires an extra argument;
  5. proper treatment of root as directory;
Changeset 70207:511352b4d5d3 by wenzelm:
tuned -- according to main website;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70206:c7fa2b7d2c8a by wenzelm:
more ambitious compression;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70205:3293471cf176 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/Thy/document_marker.ML (diff)
Changeset 70204:230188a56a9e by wenzelm:
completion for \&lt;^const&gt;, although it often requires an extra argument;
The file was modified etc/symbols (diff)
Changeset 70203:cd2af90360ee by wenzelm:
proper treatment of root as directory;
The file was modified src/Tools/jEdit/src/isabelle_vfs.scala (diff)