Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified markup;
  2. clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
  3. tuned;
  4. clarified spell-checking (see also 30233285270a);
  5. more accurate markup;
  6. clarified signature;
  7. more markup for various text kinds, notably for nested formal comments;
  8. tuned whitespace;
  9. clarified rendering: use COMMENT4 elsewhere;
Changeset 69971:4e98239aa083 by wenzelm:
clarified markup;
The file was modified src/Pure/Syntax/syntax.ML
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
Changeset 69969:c211db89f916 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/syntax_style.scala
Changeset 69968:1a400b14fd3a by wenzelm:
clarified spell-checking (see also 30233285270a);
The file was modified etc/options
The file was modified src/Pure/General/comment.ML
The file was modified src/Pure/PIDE/markup.ML
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 69967:8a9d0d894ec0 by wenzelm:
more accurate markup;
The file was modified src/Pure/Thy/document_marker.ML
Changeset 69966:cba5b866c633 by wenzelm:
clarified signature;
The file was modified src/Pure/General/comment.ML
The file was modified src/Pure/Thy/thy_output.ML
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
The file was modified src/Pure/PIDE/markup.ML
The file was modified src/Pure/PIDE/markup.scala
The file was modified src/Pure/PIDE/rendering.scala
The file was modified src/Pure/Thy/document_antiquotations.ML
The file was modified src/Pure/pure_syn.ML
The file was modified src/Tools/VSCode/extension/package.json
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/jEdit/etc/options
Changeset 69964:699ffc7cbab8 by wenzelm:
tuned whitespace;
The file was modified src/HOL/Unix/Unix.thy
Changeset 69963:396e0120f7b8 by wenzelm:
clarified rendering: use COMMENT4 elsewhere;
The file was modified src/Tools/jEdit/src/jedit_rendering.scala