Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. discontinued obsolete 'files' in session ROOT;
  2. prefer file dependencies wrt. specific theories;
  3. added command 'external_file';
  4. proper document (cf. 9f5bfef8bd82);
  5. removed pointless dependencies: done by 'spark_open';
Changeset 66759:918f15c9367a by wenzelm:
discontinued obsolete 'files' in session ROOT;
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)
Changeset 66758:9312ce5a938d by wenzelm:
prefer file dependencies wrt. specific theories;
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)
Changeset 66757:e32750d7acb4 by wenzelm:
added command 'external_file';
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)
Changeset 66756:a1b2ea991ad1 by wenzelm:
proper document (cf. 9f5bfef8bd82);
The file was modified src/HOL/ROOT (diff)
Changeset 66755:1ceedf710564 by wenzelm:
removed pointless dependencies: done by 'spark_open';
The file was modified src/HOL/ROOT (diff)