Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-makeall
changeset 24786 56b8b2cfa08e
parent 24781 fd6d2040f89b
child 25912 a1a3f614dd86 
--- a/Admin/isatest/isatest-makeall	Sun Sep 30 21:55:19 2007 +0200
+++ b/Admin/isatest/isatest-makeall	Mon Oct 01 02:59:10 2007 +0200
@@ -97,7 +97,7 @@
   TARGETS="$2"
   shift 2
   ISABELLE_HOME="$($ISATOOL getenv -b ISABELLE_HOME)"
-  DIR="$ISABELLE_HOME/$LOGIC"
+  DIR="$ISABELLE_HOME/src/$LOGIC"
   TOOL="$ISATOOL make $MFLAGS $TARGETS"
 else
   DIR="."
isabelle