Summary
- export sort algebra;
- tuned;
- tuned;
- support 'export_files' in session ROOT;
- clarified output;
- support multiple patterns;
- clarified cache;
- tuned signature;
- tuned output;
The file was modified | src/Pure/Thy/export_theory.ML (diff) |
The file was modified | src/Pure/Thy/export_theory.scala (diff) |
The file was modified | src/Pure/sorts.ML (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/PIDE/session.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Pure/Sessions.thy (diff) |
The file was modified | src/Pure/Thy/sessions.ML (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/Thy/export.scala (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Pure/Thy/export.scala (diff) |
The file was modified | src/Pure/Thy/export.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Thy/export.scala (diff) |
The file was modified | src/Pure/General/position.scala (diff) |