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.
README generation;
authorwenzelm
Tue, 20 May 1997 19:29:50 +0200
changeset 3257 4e3724e0659f
parent 3256 0a45cdd7da37
child 3258 cd3065010297
README generation;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Tue May 20 19:29:04 1997 +0200
+++ b/Admin/makedist	Tue May 20 19:29:50 1997 +0200
@@ -143,6 +143,8 @@
   } >UNOFFICIAL
 fi
 
+lynx -dump README.html >README
+
 
 # create archive
isabelle