Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. discontinued obsolete DVI document format and related settings/tools;
  2. clarified errors;
  3. tuned signature;
  4. tuned;
Changeset 72309:564012e31db1 by wenzelm:
discontinued obsolete DVI document format and related settings/tools;
The file was modified NEWS
The file was modified etc/settings
The file was modified lib/Tools/latex
The file was modified src/Doc/System/Environment.thy
The file was modified src/Doc/System/Misc.thy
The file was modified src/Doc/System/Presentation.thy
The file was modified src/Pure/PIDE/session.ML
The file was modified src/Pure/Thy/present.ML
The file was modified src/Pure/Thy/present.scala
The file was removedlib/Tools/display
Changeset 72308:aa14f630d8ef by wenzelm:
clarified errors;
The file was modified src/HOL/Library/code_test.ML
Changeset 72307:b82347da780b by wenzelm:
tuned signature;
The file was modified src/HOL/Library/code_test.ML
Changeset 72306:d144038fa88a by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML