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.
delete Tools;
authorwenzelm
Thu, 07 Oct 1999 14:31:01 +0200
changeset 7781 7a8e91b8c100
parent 7780 099742c562aa
child 7782 d4a6464ed61e
delete Tools;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Thu Oct 07 12:52:23 1999 +0200
+++ b/Admin/makedist	Thu Oct 07 14:31:01 1999 +0200
@@ -130,7 +130,7 @@
 mv -f $MOVE Distribution/doc
 rm Distribution/doc/Isa-logics.eps
 cp Admin/index.html $DISTBASE
-rm -rf Admin Doc
+rm -rf Admin Doc Tools
 
 mkdir src contrib
 mv $LOGICS src
isabelle