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