Summary
- clarified signature;
- read theory content from session database;
- clarified signature;
- misc tuning and clarification;
The file was modified | src/Pure/ML/ml_process.scala (diff) |
The file was modified | src/Pure/System/isabelle_process.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala (diff) |
The file was modified | src/Pure/Thy/export_theory.scala (diff) |
The file was modified | src/Pure/Thy/export.scala (diff) |
The file was modified | src/Pure/Thy/export_theory.ML (diff) |