Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. discontinued old-style {* verbatim *} tokens;
  2. tuned proof;
  3. isabelle update_cartouches;
Changeset 74887:56247fdb8bbb by wenzelm:
discontinued old-style {* verbatim *} tokens;
The file was modified NEWS (diff)
The file was modified lib/texinputs/isabelle.sty (diff)
The file was modified src/Doc/Isar_Ref/Outer_Syntax.thy (diff)
The file was modified src/Doc/Tutorial/ToyList/ToyList.thy (diff)
The file was modified src/HOL/Bali/Term.thy (diff)
The file was modified src/HOL/Eisbach/match_method.ML (diff)
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/Isar/args.ML (diff)
The file was modified src/Pure/Isar/method.ML (diff)
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/Isar/parse.scala (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/markup.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/Thy/bibtex.ML (diff)
The file was modified src/Pure/Thy/document_antiquotations.ML (diff)
The file was modified src/Pure/Thy/document_output.ML (diff)
The file was modified src/Pure/Thy/sessions.ML (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Tools/rail.ML (diff)
The file was modified src/Pure/Tools/update_cartouches.scala (diff)
The file was modified src/Pure/Tools/update_comments.scala (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 74886:fa5476c54731 by wenzelm:
tuned proof;
The file was modified src/HOL/BNF_Def.thy (diff)
Changeset 74885:2df334453c4c by wenzelm:
isabelle update_cartouches;
The file was modified src/HOL/Computational_Algebra/Factorial_Ring.thy (diff)
The file was modified src/HOL/Equiv_Relations.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)