NEWS
changeset 9057 af1ca1acf292
parent 9052 7db48fe85b05
child 9085 5ce73f3cadff
     1.1 --- a/NEWS	Thu Jun 08 21:53:44 2000 +0200
     1.2 +++ b/NEWS	Fri Jun 09 10:26:21 2000 +0200
     1.3 @@ -62,6 +62,9 @@
     1.4  
     1.5  * old-style theories now produce (crude) LaTeX output as well;
     1.6  
     1.7 +* browser info session directories are now self-contained (may be put
     1.8 +on WWW server seperately);
     1.9 +
    1.10  
    1.11  *** Isar ***
    1.12