author haftmann

Tue, 29 Jul 2008 14:07:23 +0200

changeset 27694 31a8e0908b9f

parent 27693 73253a4e3ee2

child 27695 033732c90ebd

src/HOL/IsaMakefile file | annotate | diff | comparison | revisions
     1.1 --- a/src/HOL/IsaMakefile	Tue Jul 29 13:16:54 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 29 14:07:23 2008 +0200
     1.3 @@ -69,6 +69,8 @@
     1.4  Pure:
     1.5  	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.6  
     1.7 +$(OUT)/Pure: Pure
     1.8 +
     1.9  $(OUT)/HOL-Plain: $(OUT)/Pure \
    1.10    plain.ML \
    1.11    Code_Setup.thy \