Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned -- more explicit type node_presentation;
  2. tuned signature;
  3. clarified modules; uniform "tag" parser;
Changeset 69878:ccc8e4c99520 by wenzelm:
tuned -- more explicit type node_presentation;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 69877:45b2e784350a by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 69876:b49bd228ac8a by wenzelm:
clarified modules;<br>uniform &quot;tag&quot; parser;
The file was addedsrc/Pure/Thy/document_source.ML
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/ROOT.ML (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)