src/Pure/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 28494 5350b32e1525
child 28545 2fb2d48de366
     1.1 --- a/src/Pure/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -92,7 +92,7 @@
     1.4  Pure-ProofGeneral: Pure $(LOG)/Pure-ProofGeneral.gz
     1.5  
     1.6  $(LOG)/Pure-ProofGeneral.gz: $(OUT)/Pure ProofGeneral/proof_general_keywords.ML
     1.7 -	@$(ISATOOL) usedir -f proof_general_keywords.ML $(OUT)/Pure ProofGeneral
     1.8 +	@$(ISABELLE_TOOL) usedir -f proof_general_keywords.ML $(OUT)/Pure ProofGeneral
     1.9  
    1.10  
    1.11  RAW: $(OUT)/RAW