0
+ − 1
+ − 2
## targets
+ − 3
106
bdd82350cf22
renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 4
default: tutorial
0
+ − 5
images:
2
+ − 6
test:
0
+ − 7
106
bdd82350cf22
renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 8
all: tutorial
0
+ − 9
+ − 10
## global settings
+ − 11
+ − 12
SRC = $(ISABELLE_HOME)/src
+ − 13
OUT = $(ISABELLE_OUTPUT)
+ − 14
LOG = $(OUT)/log
+ − 15
60
5b9c6010897b
doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 16
USEDIR = $(ISATOOL) usedir -v true -D generated
0
+ − 17
44
dee4b3e66dfe
added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 18
rail:
dee4b3e66dfe
added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 19
rail CookBook/generated/root
dee4b3e66dfe
added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 20
cp CookBook/generated/root.rao CookBook/document
0
+ − 21
+ − 22
## CookBook
+ − 23
106
bdd82350cf22
renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 24
tutorial: CookBook/ROOT.ML \
2
+ − 25
CookBook/document/root.tex \
18
+ − 26
CookBook/document/root.bib \
28
+ − 27
CookBook/*.thy \
+ − 28
CookBook/*.ML \
+ − 29
CookBook/Recipes/*.thy \
+ − 30
CookBook/Package/*.thy \
+ − 31
CookBook/Package/*.ML
2
+ − 32
$(USEDIR) HOL CookBook
18
+ − 33
$(ISATOOL) document -o pdf CookBook/generated
2
+ − 34
@cp CookBook/document.pdf cookbook.pdf
0
+ − 35
+ − 36
## clean
+ − 37
+ − 38
clean:
2
+ − 39
@rm -f CookBook/generated/*