Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more documentation;
  2. clarified markup;
  3. discontinued old form of marginal comments;
Changeset 67448:dbb1f02e667d by wenzelm:
more documentation;
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)
Changeset 67447:c98c6eb3dd4c by wenzelm:
clarified markup;
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 67446:1f4d167b6ac9 by wenzelm:
discontinued old form of marginal comments;
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)