Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemma
  2. less bulky session stack;
  3. clarified document export;
  4. tuned signature;
  5. discontinued obsolete DVI document format and related settings/tools;
  6. clarified errors;
  7. tuned signature;
  8. tuned;
Changeset 72313:babd74b71ea8 by nipkow:
added lemma
The file was modified src/HOL/Library/Tree.thy (diff)
Changeset 72312:0134a7d6ad56 by wenzelm:
less bulky session stack;
The file was modified src/HOL/ROOT (diff)
Changeset 72311:9a7a14117967 by wenzelm:
clarified document export;
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 72310:a756e464e9e3 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/present.ML (diff)
Changeset 72309:564012e31db1 by wenzelm:
discontinued obsolete DVI document format and related settings/tools;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified lib/Tools/latex (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/PIDE/session.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was removedlib/Tools/display
Changeset 72308:aa14f630d8ef by wenzelm:
clarified errors;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72307:b82347da780b by wenzelm:
tuned signature;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72306:d144038fa88a by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML (diff)