Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. updated documentation;
  4. clarified syntax;
  5. tuned signature;
  6. simplified: allow only command names, with dummy for default;
  7. clarified: more uniform keyword_tags;
  8. tuned;
  9. more flexible document_tags;
  10. prefer explicit options; tuned;
  11. clarified default tag;
  12. add URL;
  13. tuned;
  14. more explicit statement of rat_denum to fit with top100 thms list
Changeset 68515:0854edc4d415 by wenzelm:
merged
Changeset 68514:b20980997cd2 by wenzelm:
tuned;
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 68513:88b0e63d58a5 by wenzelm:
updated documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 68512:16ae55c77bcb by wenzelm:
clarified syntax;
The file was modified src/HOL/ROOT (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68511:c6626358bf21 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 68510:795f39bfe4e1 by wenzelm:
simplified: allow only command names, with dummy for default;
The file was modified src/HOL/ROOT (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68509:0f91ff642658 by wenzelm:
clarified: more uniform keyword_tags;
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68508:0799fb9c3b9c by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68507:60668de02229 by wenzelm:
more flexible document_tags;
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68506:cef6c6b009fb by wenzelm:
prefer explicit options;<br>tuned;
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68505:088780aa2b70 by wenzelm:
clarified default tag;
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68504:3524d60b8f15 by wenzelm:
add URL;
The file was modified src/Doc/manual.bib (diff)
Changeset 68503:8d9239158d7a by wenzelm:
tuned;
The file was modified src/Doc/Isar_Ref/Inner_Syntax.thy (diff)
Changeset 68502:a8ada04583e7 by kleing:
more explicit statement of rat_denum to fit with top100 thms list
The file was modified src/HOL/Library/Countable.thy (diff)