Summary
- merged
- more documentation;
- explicit tag for document commands: avoid implicit use of document_tags;
- system option for default command tags;
- tuned;
- tuned signature;
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | lib/texinputs/isabelle.sty (diff) |
The file was modified | src/Doc/Isar_Ref/Document_Preparation.thy (diff) |
The file was modified | src/Doc/System/Presentation.thy (diff) |
The file was modified | src/Pure/Isar/keyword.ML (diff) |
The file was modified | src/Pure/Thy/thy_header.ML (diff) |
The file was modified | etc/options (diff) |
The file was modified | src/Pure/ROOT.ML (diff) |
The file was modified | src/Pure/Thy/thy_output.ML (diff) |
The file was modified | etc/options (diff) |
The file was modified | src/Pure/Isar/outer_syntax.ML (diff) |
The file was modified | src/Pure/Isar/parse.ML (diff) |
The file was modified | src/Pure/Thy/thy_header.ML (diff) |