--- a/NEWS Thu Aug 04 21:30:20 2016 +0200
+++ b/NEWS Fri Aug 05 16:30:53 2016 +0200
@@ -63,6 +63,10 @@
* Cartouche abbreviations work both for " and ` to accomodate typical
situations where old ASCII notation may be updated.
+* Isabelle/ML and Standard ML files are presented in Sidekick with the
+tree structure of section headings: this special comment format is
+described in "implementation" chapter 0, e.g. (*** section ***).
+
* IDE support for the Isabelle/Pure bootstrap process, with the
following independent stages: