| changeset 9520 | 73f1c6685367 |
| parent 9493 | 494f8cd34df7 |
| child 9644 | 6b0b6b471855 |
--- a/doc-src/TutorialI/IsaMakefile Fri Aug 04 10:59:28 2000 +0200 +++ b/doc-src/TutorialI/IsaMakefile Fri Aug 04 11:22:59 2000 +0200 @@ -5,6 +5,9 @@ ## targets default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles +images: +test: +all: default ## global settings