author | huffman |
Tue, 12 Jul 2005 18:20:44 +0200 | |
changeset 16776 | a3899ac14a1c |
parent 16521 | ad77345f1db8 |
child 17124 | 19ea4a0f4ec9 |
permissions | -rw-r--r-- |
## targets default: Isar ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log USEDIR = $(ISATOOL) usedir -H false -i false -g false -d false -D document -v true ## Isar Isar: $(LOG)/HOL-Isar.gz $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \ Isar/document/root.tex Isar/document/root.bib Isar/*.thy @$(USEDIR) HOL Isar ## clean clean: @rm -f $(LOG)/HOL-Isar.gz