--- a/NEWS Thu Jun 08 21:53:44 2000 +0200
+++ b/NEWS Fri Jun 09 10:26:21 2000 +0200
@@ -62,6 +62,9 @@
* old-style theories now produce (crude) LaTeX output as well;
+* browser info session directories are now self-contained (may be put
+on WWW server seperately);
+
*** Isar ***