equal
deleted
inserted
replaced
104 |
104 |
105 ## HOL-CTL |
105 ## HOL-CTL |
106 |
106 |
107 HOL-CTL: HOL $(LOG)/HOL-CTL.gz |
107 HOL-CTL: HOL $(LOG)/HOL-CTL.gz |
108 |
108 |
109 $(LOG)/HOL-CTL.gz: $(OUT)/HOL CTL/Base.thy CTL/PDL.thy CTL/CTL.thy CTL/ROOT.ML |
109 $(LOG)/HOL-CTL.gz: $(OUT)/HOL CTL/Base.thy CTL/PDL.thy CTL/CTL.thy CTL/CTLind.thy CTL/ROOT.ML |
110 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL CTL |
110 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL CTL |
111 @rm -f tutorial.dvi |
111 @rm -f tutorial.dvi |
112 |
112 |
113 ## HOL-Misc |
113 ## HOL-Misc |
114 |
114 |
124 |
124 |
125 |
125 |
126 ## clean |
126 ## clean |
127 |
127 |
128 clean: |
128 clean: |
129 @rm -f tutorial.dvi $(LOG)/HOL-Ifexpr.gz $(LOG)/HOL-CodeGen.gz $(LOG)/HOL-Misc.gz $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz $(LOG)/HOL-Trie.gz $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Recdef.gz $(LOG)/HOL-Advanced.gz $(LOG)/HOL-CTL.gz |
129 @rm -f tutorial.dvi $(LOG)/HOL-Ifexpr.gz $(LOG)/HOL-CodeGen.gz $(LOG)/HOL-Misc.gz $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz $(LOG)/HOL-Trie.gz $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Recdef.gz $(LOG)/HOL-Advanced.gz $(LOG)/HOL-CTL.gz |