diff -r 197e4df96fd4 -r 56b8b2cfa08e Admin/isatest/isatest-makeall
--- 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="."