more NEWS;
authorwenzelm
Thu, 04 Apr 2019 23:05:53 +0200
changeset 70243 5b75480f371a
parent 70242 3e9394adcccd
child 70244 e7a01bbe789b
child 70246 1a85c1495d1f
more NEWS;
NEWS
--- a/NEWS	Thu Apr 04 23:01:07 2019 +0200
+++ b/NEWS	Thu Apr 04 23:05:53 2019 +0200
@@ -62,6 +62,11 @@
 Isabelle/jEdit: various virtual file-systems provide access to Isabelle
 resources, notably via "favorites:" (or "Edit Favorites").
 
+* Further markup and rendering for "plain text" (e.g. informal prose)
+and "raw text" (e.g. verbatim sources). This improves the visual
+appearance of formal comments inside the term language, or in general
+for repeated alternation of formal and informal text.
+
 * Action "isabelle-export-browser" points the File Browser to the theory
 exports of the current buffer, based on the "isabelle-export:" virtual
 file-system. The directory view needs to be reloaded manually to follow