| changeset 13307 | cf076cdcfbf3 |
| parent 13267 | 502f69ea6627 |
| child 13619 | 584291949c23 |
| 13306:6eebcddee32b | 13307:cf076cdcfbf3 |
|---|---|
12 |
12 |
13 ## Isar |
13 ## Isar |
14 |
14 |
15 Isar: $(LOG)/HOL-Isar.gz |
15 Isar: $(LOG)/HOL-Isar.gz |
16 |
16 |
17 $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/root.tex Isar/*.thy |
17 $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/root.tex Isar/document/root.bib Isar/*.thy |
18 @$(USEDIR) HOL Isar |
18 @$(USEDIR) HOL Isar |
19 |
19 |
20 |
20 |
21 ## clean |
21 ## clean |
22 |
22 |