Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper context (as in 'term' command);
  2. proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit;
  3. more symbols;
  4. prefer Input.source (via cartouche);
  5. updated documentation: JVM is always 64bit;
Changeset 67096:e77f13a6a501 by wenzelm:
proper context (as in 'term' command);
The file was modified src/HOL/ex/Commands.thy (diff)
Changeset 67095:91ffe1f8bf5c by wenzelm:
proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit;
The file was modified src/Pure/ML/ml_lex.scala (diff)
Changeset 67094:4a2563645635 by wenzelm:
more symbols;
The file was modified src/HOL/Tools/rewrite_hol_proof.ML (diff)
Changeset 67093:835a2ab92c3d by wenzelm:
prefer Input.source (via cartouche);
The file was modified src/HOL/Tools/rewrite_hol_proof.ML (diff)
Changeset 67092:d7b3876d3ab1 by wenzelm:
updated documentation: JVM is always 64bit;
The file was modified src/Doc/JEdit/JEdit.thy (diff)