Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. more uniform treatment of formal comments within document source; more robust nesting;
  3. just one check of formal comments;
  4. avoid proliferation of language_document reports; clarified signature;
  5. more external tools for AFP test;
  6. clarified overall range: include delimiters;
Changeset 67572:a93cf1d6ba87 by wenzelm:
clarified signature;
The file was modified src/Pure/General/comment.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 67571:f858fe5531ac by wenzelm:
more uniform treatment of formal comments within document source;<br>more robust nesting;
The file was modified lib/texinputs/isabelle.sty (diff)
The file was modified src/Pure/General/antiquote.ML (diff)
The file was modified src/Pure/General/comment.ML (diff)
The file was modified src/Pure/Thy/document_antiquotation.ML (diff)
The file was modified src/Pure/Thy/markdown.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
The file was modified src/Pure/Tools/rail.ML (diff)
Changeset 67570:c1fe89e9a00b by wenzelm:
just one check of formal comments;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 67569:5d71b114e7a3 by wenzelm:
avoid proliferation of language_document reports;<br>clarified signature;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/Thy/document_antiquotations.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
The file was modified src/Pure/pure_syn.ML (diff)
Changeset 67568:fc2b303070da by wenzelm:
more external tools for AFP test;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67567:52e6ffa61e9c by wenzelm:
clarified overall range: include delimiters;
The file was modified src/Pure/General/input.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)