--- a/NEWS Fri May 17 20:41:45 2013 +0200
+++ b/NEWS Fri May 17 20:53:28 2013 +0200
@@ -12,6 +12,9 @@
INCOMPATIBILITY, need to use more official Isabelle means to access
quick_and_dirty, instead of historical poking into mutable reference.
+* Renamed command 'print_configs' to 'print_options'. Minor
+INCOMPATIBILITY.
+
* 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