--- a/NEWS Wed Mar 13 15:08:38 2013 +0100
+++ b/NEWS Wed Mar 13 15:12:14 2013 +0100
@@ -6,6 +6,13 @@
*** General ***
+* Sessions may be organized via 'chapter' specifications in the ROOT
+file, which determines a two-level hierarchy of browser info. The old
+tree-like organization via implicit sub-session relation, with its
+tendency towards erratic fluctuation of URLs, has been discontinued.
+The default chapter is "Unsorted". Potential INCOMPATIBILITY for HTML
+presentation of theories.
+
* Discontinued obsolete 'uses' within theory header. Note that
commands like 'ML_file' work without separate declaration of file
dependencies. Minor INCOMPATIBILITY.