Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adjusted to fc221fa79741;
  2. obsolete (see fc221fa79741);
  3. adjusted to fc221fa79741;
  4. adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
  5. more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups; tuned signature;
  6. more robust (amending 76979adf0b96);
  7. more robust: avoid broken YXML due to Markup.empty;
Changeset 69353:a6e83dcc00e6 by wenzelm:
adjusted to fc221fa79741;
The file was modified etc/options (diff)
Changeset 69352:f557375f6e17 by wenzelm:
obsolete (see fc221fa79741);
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
Changeset 69351:bff3eb77b0d1 by wenzelm:
adjusted to fc221fa79741;
The file was modified etc/isabelle.css (diff)
Changeset 69350:736c628cf006 by wenzelm:
adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
The file was modified etc/isabelle.css (diff)
Changeset 69349:7cef9e386ffe by wenzelm:
more accurate positions for &quot;name&quot; (quoted string) and &quot;embedded&quot; (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;<br>tuned signature;
The file was modified src/Doc/antiquote_setup.ML (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Tools/Lifting/lifting_setup.ML (diff)
The file was modified src/Pure/General/input.ML (diff)
The file was modified src/Pure/Isar/args.ML (diff)
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/Isar/parse_spec.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/ML/ml_antiquotation.ML (diff)
The file was modified src/Pure/ML/ml_antiquotations.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/Syntax/mixfix.ML (diff)
The file was modified src/Pure/Thy/bibtex.ML (diff)
The file was modified src/Pure/Thy/document_antiquotation.ML (diff)
The file was modified src/Pure/Thy/document_antiquotations.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/find_consts.ML (diff)
The file was modified src/Pure/Tools/jedit.ML (diff)
The file was modified src/Pure/Tools/named_theorems.ML (diff)
The file was modified src/Pure/Tools/plugin.ML (diff)
The file was modified src/Pure/simplifier.ML (diff)
Changeset 69348:f0aef5e337a2 by wenzelm:
more robust (amending 76979adf0b96);
The file was modified src/Pure/General/position.ML (diff)
Changeset 69347:54b95d2ec040 by wenzelm:
more robust: avoid broken YXML due to Markup.empty;
The file was modified src/Pure/General/completion.ML (diff)