--- a/src/HOL/IsaMakefile Fri Oct 17 10:21:03 2008 +0200
+++ b/src/HOL/IsaMakefile Fri Oct 17 10:39:39 2008 +0200
@@ -27,6 +27,7 @@
HOL-Isar_examples \
HOL-Lambda \
HOL-Lattice \
+ HOL-Matrix \
HOL-MetisExamples \
HOL-MicroJava \
HOL-Modelcheck \
@@ -831,9 +832,9 @@
## HOL-Matrix
-HOL-Matrix: HOL $(OUT)/HOL-Matrix
+HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
-$(OUT)/HOL-Matrix: $(OUT)/HOL \
+$(LOG)/HOL-Matrix.gz: $(OUT)/HOL \
$(SRC)/Tools/Compute_Oracle/Compute_Oracle.thy \
$(SRC)/Tools/Compute_Oracle/am_compiler.ML \
$(SRC)/Tools/Compute_Oracle/am_interpreter.ML \