Skip to content
Success

Changes

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

Summary

  1. tuned signature;
  2. clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;
  3. tuned;
  4. tuned signature;
  5. clarified signature;
  6. clarified modules;
Changeset 75791:fb12433208aa by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build_job.scala
The file was modified src/Pure/Tools/profiling_report.scala
Changeset 75790:0ab8a9177e41 by wenzelm:
clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Thy/export_theory.scala
The file was modified src/Pure/Thy/presentation.scala
Changeset 75789:4827096caeb5 by wenzelm:
tuned;
The file was modified src/Pure/Thy/export.scala
Changeset 75788:0132026e26eb by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export.scala
Changeset 75787:f9fcf06aa2eb by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Tools/build_job.scala
Changeset 75786:ff6c1a82270f by wenzelm:
clarified modules;
The file was modified src/Pure/Thy/export.scala
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build.scala
The file was modified src/Pure/Tools/build_job.scala