--- a/NEWS Tue Oct 14 10:52:17 1997 +0200
+++ b/NEWS Tue Oct 14 11:30:35 1997 +0200
@@ -9,10 +9,14 @@
* hierachically structured name spaces (for consts, types, thms,
...), use 'begin' or 'path' section in theory files; new lexical class
-'longid' (e.g. Foo.bar.x) renders many old input syntactically
+'longid' (e.g. Foo.bar.x) renders much of old input syntactically
incorrect (e.g. "%x.x"); isatool fixdots inserts space after dots
("%x. x");
+* HTML output now includes theory graph data for display with Java
+applet or isatool browser; data generated automatically via isatool
+usedir (see -i option);
+
* defs may now be conditional; improved rewrite_goals_tac to handle
conditional equations;