Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more documentation;
  3. clarified imports: prefer parent session images;
  4. eliminated old-style no-document imports;
  5. proper document;
  6. more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
  7. more documentation;
  8. tuned;
  9. sources_stamp refers to full sources; simplified data storage (again);
  10. option -S for "isabelle build";
  11. persistent storage of imported_sources;
  12. cache sources: invoke SHA1.digest at most once; maintain imported_sources, as required for new theories;
  13. tuned;
Changeset 66754:78c74f9e960a by wenzelm:
merged
Changeset 66753:f7759beab4f2 by wenzelm:
more documentation;
The file was modified README_REPOSITORY (diff)
Changeset 66752:1dd5633f5862 by wenzelm:
clarified imports: prefer parent session images;
The file was modified src/HOL/ROOT (diff)
Changeset 66751:1f92f5cc70e4 by wenzelm:
eliminated old-style no-document imports;
The file was modified src/Doc/ROOT (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 66750:41fbe4a3aac9 by wenzelm:
proper document;
The file was modified src/ZF/ROOT (diff)
Changeset 66749:0445cfaf6132 by wenzelm:
more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66748:3efac90a11a7 by wenzelm:
more documentation;
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 66747:f4c6c8a8f645 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66746:888a51e77c6e by wenzelm:
sources_stamp refers to full sources;<br>simplified data storage (again);
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66745:e7ac579b883c by wenzelm:
option -S for &quot;isabelle build&quot;;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66744:fec1504e5f03 by wenzelm:
persistent storage of imported_sources;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66743:ff05d922bc34 by wenzelm:
cache sources: invoke SHA1.digest at most once;<br>maintain imported_sources, as required for new theories;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 66742:b3422f78270e by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)