Summary
- more robust: after shutdown;
- proper exception CONTEXT for Context.certificate_theory;
- more diagnostic operations;
- tuned spelling;
- more standard treatment of data and context;
- more standard val silent = Attrib.setup_config_bool;
- tuned;
The file was modified | src/Pure/PIDE/session.ML (diff) |
The file was modified | src/Pure/thm.ML (diff) |
The file was modified | src/Pure/Isar/proof_display.ML (diff) |
The file was modified | src/Pure/PIDE/session.ML (diff) |
The file was modified | src/FOL/ex/Locale_Test/Locale_Test1.thy (diff) |
The file was modified | src/HOL/Statespace/state_space.ML (diff) |
The file was modified | src/HOL/Statespace/state_space.ML (diff) |
The file was modified | src/HOL/Statespace/state_space.ML (diff) |