8 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

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

8 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

8 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

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

8 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

8 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

8 weeks ago wenzelm [Sat, 23 Mar 2019 20:27:56 +0100] rev 69961
updated to ssh-java-20190323 (with jsch-0.1.55.jar);
Admin/components/components.sha1 Admin/components/main

8 weeks ago wenzelm [Sat, 23 Mar 2019 20:12:50 +0100] rev 69960
NEWS for proper Isabelle version;
NEWS

8 weeks ago wenzelm [Sat, 23 Mar 2019 20:12:37 +0100] rev 69959
obsolete;
Admin/Release/CHECKLIST