Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
* browser info session directories are now self-contained (may be put
authorwenzelm
Fri, 09 Jun 2000 10:26:21 +0200
changeset 9057 af1ca1acf292
parent 9056 8f78b2aea39e
child 9058 7856a01119fb
* browser info session directories are now self-contained (may be put on WWW server seperately);
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle