Summary
- more documentation;
- clarified markup;
- discontinued old form of marginal comments;
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Inner_Syntax.thy (diff) |
The file was modified | src/Doc/Isar_Ref/Outer_Syntax.thy (diff) |
The file was modified | src/Tools/jEdit/src/jedit_rendering.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Isar/outer_syntax.ML (diff) |
The file was modified | src/Pure/Isar/token.ML (diff) |
The file was modified | src/Pure/Isar/token.scala (diff) |
The file was modified | src/Pure/PIDE/command.ML (diff) |
The file was modified | src/Pure/PIDE/command.scala (diff) |
The file was modified | src/Pure/Pure.thy (diff) |
The file was modified | src/Pure/Thy/thy_output.ML (diff) |