equal
deleted
inserted
replaced
22 |
22 |
23 HOL: |
23 HOL: |
24 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
24 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
25 |
25 |
26 $(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/document/root.tex \ |
26 $(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/document/root.tex \ |
27 Group/Group.thy Group/Product.thy Group/Semigroup.thy Group/Semigroups.thy |
27 Group/Group.thy Group/Product.thy Group/Semigroups.thy |
28 @$(USEDIR) $(OUT)/HOL Group |
28 @$(USEDIR) $(OUT)/HOL Group |
|
29 @rm -f generated/pdfsetup.sty generated/session.tex |
29 |
30 |
30 |
31 |
31 ## Nat |
32 ## Nat |
32 |
33 |
33 Nat: FOL $(LOG)/FOL-Nat.gz |
34 Nat: FOL $(LOG)/FOL-Nat.gz |
36 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
37 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
37 |
38 |
38 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/document/root.tex \ |
39 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/document/root.tex \ |
39 Nat/NatClass.ML Nat/NatClass.thy |
40 Nat/NatClass.ML Nat/NatClass.thy |
40 @$(USEDIR) $(OUT)/FOL Nat |
41 @$(USEDIR) $(OUT)/FOL Nat |
|
42 @rm -f generated/pdfsetup.sty generated/session.tex |
41 |
43 |
42 |
44 |
43 ## clean |
45 ## clean |
44 |
46 |
45 clean: |
47 clean: |