NEWS
changeset 63610 4b40b8196dc7
parent 63608 d83cb0902e4f
child 63624 994d1a1105ef
     1.1 --- a/NEWS	Thu Aug 04 21:30:20 2016 +0200
     1.2 +++ b/NEWS	Fri Aug 05 16:30:53 2016 +0200
     1.3 @@ -63,6 +63,10 @@
     1.4  * Cartouche abbreviations work both for " and ` to accomodate typical
     1.5  situations where old ASCII notation may be updated.
     1.6  
     1.7 +* Isabelle/ML and Standard ML files are presented in Sidekick with the
     1.8 +tree structure of section headings: this special comment format is
     1.9 +described in "implementation" chapter 0, e.g. (*** section ***).
    1.10 +
    1.11  * IDE support for the Isabelle/Pure bootstrap process, with the
    1.12  following independent stages:
    1.13