# HG changeset patch
# User wenzelm
# Date 1554411953 -7200
# Node ID 5b75480f371a8f672a0c199e9cc4c52a84d3556f
# Parent  3e9394adcccd34b6de229fa9395138970641a09a
more NEWS;

diff -r 3e9394adcccd -r 5b75480f371a 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