Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. more robust: after shutdown;
  2. proper exception CONTEXT for Context.certificate_theory;
  3. more diagnostic operations;
  4. tuned spelling;
  5. more standard treatment of data and context;
  6. more standard val silent = Attrib.setup_config_bool;
  7. tuned;
Changeset 78034:37085099e415 by wenzelm:
more robust: after shutdown;
The file was modified src/Pure/PIDE/session.ML
Changeset 78033:9c18535a9fcd by wenzelm:
proper exception CONTEXT for Context.certificate_theory;
The file was modified src/Pure/thm.ML
Changeset 78032:73c77db63594 by wenzelm:
more diagnostic operations;
The file was modified src/Pure/Isar/proof_display.ML
The file was modified src/Pure/PIDE/session.ML
Changeset 78031:a526f69145ec by wenzelm:
tuned spelling;
The file was modified src/FOL/ex/Locale_Test/Locale_Test1.thy
Changeset 78030:ec9840c673c3 by wenzelm:
more standard treatment of data and context;
The file was modified src/HOL/Statespace/state_space.ML
Changeset 78029:f78cdc6fe971 by wenzelm:
more standard val silent = Attrib.setup_config_bool;
The file was modified src/HOL/Statespace/state_space.ML
Changeset 78028:0ee49c509fea by wenzelm:
tuned;
The file was modified src/HOL/Statespace/state_space.ML