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.
index.html obsolete;
authorwenzelm
Tue, 23 Sep 1997 08:44:57 +0200
changeset 3698 0b8986fd9bfc
parent 3697 c5833dfcc2cc
child 3699 7c30ab9e25d1
index.html obsolete;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Mon Sep 22 17:38:55 1997 +0200
+++ b/Admin/makedist	Tue Sep 23 08:44:57 1997 +0200
@@ -128,7 +128,6 @@
 
 mkdir src
 mv $LOGICS src
-mv index.html src
 
 mv Distribution/* .
 rmdir Distribution
isabelle