# HG changeset patch
# User wenzelm
# Date 960539181 -7200
# Node ID af1ca1acf292f127f5e7afc0eb81fd05f4fc72a1
# Parent  8f78b2aea39ed8cfda6020382a7385c996694ee0
* browser info session directories are now self-contained (may be put
on WWW server seperately);

diff -r 8f78b2aea39e -r af1ca1acf292 NEWS
--- 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 ***