Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- tuned signature;
- clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;
- tuned;
- tuned signature;
- clarified signature;
- clarified modules;
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 |
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 |
The file was modified | src/Pure/Thy/export.scala |
The file was modified | src/Pure/Thy/export.scala |
The file was modified | src/Pure/Thy/export.scala |
The file was modified | src/Pure/Tools/build_job.scala |
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 |