--- a/src/HOL/IsaMakefile Mon Nov 20 11:51:10 2006 +0100
+++ b/src/HOL/IsaMakefile Mon Nov 20 21:23:12 2006 +0100
@@ -499,9 +499,8 @@
HOL-Prolog: HOL $(LOG)/HOL-Prolog.gz
-$(LOG)/HOL-Prolog.gz: $(OUT)/HOL Prolog/ROOT.ML Prolog/HOHH.ML Prolog/HOHH.thy \
- Prolog/Test.ML Prolog/Test.thy \
- Prolog/Func.ML Prolog/Func.thy Prolog/Type.ML Prolog/Type.thy
+$(LOG)/HOL-Prolog.gz: $(OUT)/HOL Prolog/ROOT.ML Prolog/prolog.ML Prolog/HOHH.thy \
+ Prolog/Test.thy Prolog/Func.thy Prolog/Type.thy
@$(ISATOOL) usedir $(OUT)/HOL Prolog