4 weeks ago wenzelm [Sun, 24 Mar 2019 19:17:42 +0100] rev 69971
clarified markup;
src/Pure/Syntax/syntax.ML

4 weeks ago wenzelm [Sun, 24 Mar 2019 18:38:42 +0100] rev 69970
clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
src/Pure/PIDE/rendering.scala

4 weeks ago wenzelm [Sun, 24 Mar 2019 18:30:59 +0100] rev 69969
tuned;
src/Tools/jEdit/src/syntax_style.scala

4 weeks ago wenzelm [Sun, 24 Mar 2019 17:53:46 +0100] rev 69968
clarified spell-checking (see also 30233285270a);
etc/options src/Pure/General/comment.ML src/Pure/PIDE/markup.ML src/Tools/Haskell/Haskell.thy

4 weeks ago wenzelm [Sun, 24 Mar 2019 17:45:00 +0100] rev 69967
more accurate markup;
src/Pure/Thy/document_marker.ML

4 weeks ago wenzelm [Sun, 24 Mar 2019 17:33:11 +0100] rev 69966
clarified signature;
src/Pure/General/comment.ML src/Pure/Thy/thy_output.ML

4 weeks ago wenzelm [Sun, 24 Mar 2019 17:24:24 +0100] rev 69965
more markup for various text kinds, notably for nested formal comments;
src/Pure/General/comment.ML src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/PIDE/rendering.scala src/Pure/Thy/document_antiquotations.ML src/Pure/pure_syn.ML src/Tools/VSCode/extension/package.json src/Tools/VSCode/extension/src/decorations.ts src/Tools/jEdit/etc/options

4 weeks ago wenzelm [Sun, 24 Mar 2019 17:23:48 +0100] rev 69964
tuned whitespace;
src/HOL/Unix/Unix.thy

4 weeks ago wenzelm [Sun, 24 Mar 2019 17:19:30 +0100] rev 69963
clarified rendering: use COMMENT4 elsewhere;
src/Tools/jEdit/src/jedit_rendering.scala

4 weeks ago wenzelm [Sun, 24 Mar 2019 13:48:46 +0100] rev 69962
documentation of document markers and re-interpreted command tags;
NEWS src/Doc/Isar_Ref/Document_Preparation.thy src/Doc/Isar_Ref/Spec.thy src/Doc/Isar_Ref/document/root.tex src/Doc/antiquote_setup.ML src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/Thy/document_marker.ML