# HG changeset patch
# User wenzelm
# Date 876821435 -7200
# Node ID 16198fde5af52bed9f39e5ad91b1d08fcb6d18f2
# Parent  177c64693954bd6b1081cef7953f23400fcda97f
browser info;

diff -r 177c64693954 -r 16198fde5af5 NEWS
--- 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;