Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. less bulky session stack;
  2. clarified document export;
  3. tuned signature;
Changeset 72312:0134a7d6ad56 by wenzelm:
less bulky session stack;
The file was modified src/HOL/ROOT
Changeset 72311:9a7a14117967 by wenzelm:
clarified document export;
The file was modified src/Pure/Thy/thy_info.ML
Changeset 72310:a756e464e9e3 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/present.ML