src/Sequents/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 21427 7c8f4a331f9b
child 36862 952b2b102a0a
     1.1 --- a/src/Sequents/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/src/Sequents/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -24,12 +24,12 @@
     1.4  Sequents: Pure $(OUT)/Sequents
     1.5  
     1.6  Pure:
     1.7 -	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.8 +	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
     1.9  
    1.10  $(OUT)/Sequents: $(OUT)/Pure ILL.thy LK0.thy LK.thy \
    1.11    modal.ML ROOT.ML simpdata.ML S4.thy S43.thy Sequents.thy T.thy prover.ML \
    1.12    ILL_predlog.thy Washing.thy
    1.13 -	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
    1.14 +	@$(ISABELLE_TOOL) usedir -b $(OUT)/Pure Sequents
    1.15  
    1.16  
    1.17  ## Sequents-LK
    1.18 @@ -38,7 +38,7 @@
    1.19  
    1.20  $(LOG)/Sequents-LK.gz: $(OUT)/Sequents LK/ROOT.ML LK/Hard_Quantifiers.thy \
    1.21    LK/Propositional.thy LK/Quantifiers.thy LK/Nat.thy
    1.22 -	@$(ISATOOL) usedir $(OUT)/Sequents LK
    1.23 +	@$(ISABELLE_TOOL) usedir $(OUT)/Sequents LK
    1.24  
    1.25  
    1.26  ## clean