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
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
+ − 6
all: tutorial
0
+ − 7
+ − 8
## global settings
+ − 9
+ − 10
SRC = $(ISABELLE_HOME)/src
+ − 11
OUT = $(ISABELLE_OUTPUT)
+ − 12
LOG = $(OUT)/log
+ − 13
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
+ − 14
USEDIR = $(ISATOOL) usedir -v true -D generated
0
+ − 15
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
+ − 16
rail:
189
+ − 17
rail ProgTutorial/generated/root
+ − 18
cp ProgTutorial/generated/root.rao ProgTutorial/document
0
+ − 19
189
+ − 20
tutorial: ProgTutorial/ROOT.ML \
+ − 21
ProgTutorial/document/root.tex \
+ − 22
ProgTutorial/document/root.bib \
+ − 23
ProgTutorial/*.thy \
+ − 24
ProgTutorial/*.ML \
+ − 25
ProgTutorial/Recipes/*.thy \
+ − 26
ProgTutorial/Package/*.thy \
256
+ − 27
ProgTutorial/Package/*.ML
+ − 28
@rm -rf ProgTutorial/generated/*
189
+ − 29
$(USEDIR) HOL ProgTutorial
+ − 30
$(ISATOOL) version > ProgTutorial/generated/version
246
+ − 31
$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
189
+ − 32
$(ISATOOL) document -o pdf ProgTutorial/generated
+ − 33
@cp ProgTutorial/document.pdf progtutorial.pdf
0
+ − 34
+ − 35
## clean
+ − 36
+ − 37
clean:
189
+ − 38
@rm -f ProgTutorial/generated/*