Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more accurate HTML rendering;
  2. clarified markup;
  3. clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
  4. tuned;
  5. clarified spell-checking (see also 30233285270a);
  6. more accurate markup;
  7. clarified signature;
  8. more markup for various text kinds, notably for nested formal comments;
  9. tuned whitespace;
  10. clarified rendering: use COMMENT4 elsewhere;
  11. documentation of document markers and re-interpreted command tags;
Changeset 69972:5e82015fa879 by wenzelm:
more accurate HTML rendering;
The file was modified etc/isabelle.css (diff)
Changeset 69971:4e98239aa083 by wenzelm:
clarified markup;
The file was modified src/Pure/Syntax/syntax.ML (diff)
Changeset 69970:b5a47478897a by wenzelm:
clarified rendering, notably of \&lt;^latex&gt;CARTOUCHE in outer syntax;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 69969:c211db89f916 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 69968:1a400b14fd3a by wenzelm:
clarified spell-checking (see also 30233285270a);
The file was modified etc/options (diff)
The file was modified src/Pure/General/comment.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69967:8a9d0d894ec0 by wenzelm:
more accurate markup;
The file was modified src/Pure/Thy/document_marker.ML (diff)
Changeset 69966:cba5b866c633 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 69965:da5e7278286b by wenzelm:
more markup for various text kinds, notably for nested formal comments;
The file was modified src/Pure/General/comment.ML (diff)
The file was modified src/Pure/PIDE/markup.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/Thy/document_antiquotations.ML (diff)
The file was modified src/Pure/pure_syn.ML (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/jEdit/etc/options (diff)
Changeset 69964:699ffc7cbab8 by wenzelm:
tuned whitespace;
The file was modified src/HOL/Unix/Unix.thy (diff)
Changeset 69963:396e0120f7b8 by wenzelm:
clarified rendering: use COMMENT4 elsewhere;
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 69962:82e945d472d5 by wenzelm:
documentation of document markers and re-interpreted command tags;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Document_Preparation.thy (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/Doc/Isar_Ref/document/root.tex (diff)
The file was modified src/Doc/antiquote_setup.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/Thy/document_marker.ML (diff)