src/HOL/IsaMakefile
changeset 21425 c11ab38b78a7
parent 21423 6cdd0589aa73
child 21542 4462ee172ef0
     1.1 --- a/src/HOL/IsaMakefile	Mon Nov 20 11:51:10 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Nov 20 21:23:12 2006 +0100
     1.3 @@ -499,9 +499,8 @@
     1.4  
     1.5  HOL-Prolog: HOL $(LOG)/HOL-Prolog.gz
     1.6  
     1.7 -$(LOG)/HOL-Prolog.gz: $(OUT)/HOL Prolog/ROOT.ML Prolog/HOHH.ML Prolog/HOHH.thy \
     1.8 -  Prolog/Test.ML Prolog/Test.thy  \
     1.9 -  Prolog/Func.ML Prolog/Func.thy Prolog/Type.ML Prolog/Type.thy
    1.10 +$(LOG)/HOL-Prolog.gz: $(OUT)/HOL Prolog/ROOT.ML Prolog/prolog.ML Prolog/HOHH.thy \
    1.11 +  Prolog/Test.thy Prolog/Func.thy Prolog/Type.thy
    1.12  	@$(ISATOOL) usedir $(OUT)/HOL Prolog
    1.13  
    1.14