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.
mkdir contrib;
authorwenzelm
Wed, 28 Jul 1999 12:07:08 +0200
changeset 7115 37178f53ed4d
parent 7114 f1e787b90fdc
child 7116 8c1caac3e54e
mkdir contrib;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Wed Jul 28 10:28:34 1999 +0200
+++ b/Admin/makedist	Wed Jul 28 12:07:08 1999 +0200
@@ -132,7 +132,7 @@
 cp Admin/index.html $DISTBASE
 rm -rf Admin Doc
 
-mkdir src
+mkdir src contrib
 mv $LOGICS src
 
 mv Distribution/* .
isabelle