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.
fixed src path;
authorwenzelm
Fri, 07 Mar 1997 16:16:47 +0100
changeset 2775 7a4989d685d6
parent 2774 4b7b38765619
child 2776 7e99c2cbfb24
fixed src path;
build file | annotate | diff | comparison | revisions 
--- a/build	Fri Mar 07 16:08:36 1997 +0100
+++ b/build	Fri Mar 07 16:16:47 1997 +0100
@@ -37,5 +37,5 @@
 
 for DIR in $LOGICS
 do
-  ( cd $DIR; $ISATOOL make)
+  ( cd src/$DIR; $ISATOOL make)
 done
isabelle