Summary
- discontinued obsolete 'files' in session ROOT;
- prefer file dependencies wrt. specific theories;
- added command 'external_file';
- proper document (cf. 9f5bfef8bd82);
- removed pointless dependencies: done by 'spark_open';
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/HOL/Quickcheck_Narrowing.thy (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/SMT_Examples/Boogie.thy (diff) |
The file was modified | src/HOL/SMT_Examples/SMT_Examples.thy (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Spec.thy (diff) |
The file was modified | src/Pure/Pure.thy (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/ROOT (diff) |