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 dir in single-logic test
authorisatest
Mon, 01 Oct 2007 02:59:10 +0200
changeset 24786 56b8b2cfa08e
parent 24785 197e4df96fd4
child 24787 df56433cc059
fixed dir in single-logic test
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions 
--- 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