Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. follow Phabricator update 2021 Week 23;
  2. tuned;
  3. more formal theory and session names; tuned whitespace;
  4. proper NEWS after Isabelle2021;
  5. updated descriptions;
  6. allow system option short form NAME for NAME=true for type string, not just bool; support short system options "-o document" and "-o system_log";
  7. tuned;
  8. more robust within session "HOL";
Changeset 73831:5153fad491f3 by wenzelm:
follow Phabricator update 2021 Week 23;
The file was modified etc/options (diff)
Changeset 73830:2a431e8bb9b4 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 73829:aefa7d210725 by wenzelm:
more formal theory and session names;<br>tuned whitespace;
The file was modified NEWS (diff)
Changeset 73828:201200b549fc by wenzelm:
proper NEWS after Isabelle2021;
The file was modified NEWS (diff)
Changeset 73827:263dc905d795 by wenzelm:
updated descriptions;
The file was modified etc/options (diff)
Changeset 73826:72900f34dbb3 by wenzelm:
allow system option short form NAME for NAME=true for type string, not just bool;<br>support short system options &quot;-o document&quot; and &quot;-o system_log&quot;;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 73825:5b49c650d413 by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 73824:6e9a47d3850c by wenzelm:
more robust within session &quot;HOL&quot;;
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)