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:
189
+ − 19
rail ProgTutorial/generated/root
+ − 20
cp ProgTutorial/generated/root.rao ProgTutorial/document
0
+ − 21
189
+ − 22
tutorial: ProgTutorial/ROOT.ML \
+ − 23
ProgTutorial/document/root.tex \
+ − 24
ProgTutorial/document/root.bib \
+ − 25
ProgTutorial/*.thy \
+ − 26
ProgTutorial/*.ML \
+ − 27
ProgTutorial/Recipes/*.thy \
+ − 28
ProgTutorial/Package/*.thy \
+ − 29
ProgTutorial/Package/*.ML
+ − 30
$(USEDIR) HOL ProgTutorial
+ − 31
$(ISATOOL) version > ProgTutorial/generated/version
228
+ − 32
poly -v > ProgTutorial/generated/pversion
189
+ − 33
$(ISATOOL) document -o pdf ProgTutorial/generated
+ − 34
@cp ProgTutorial/document.pdf progtutorial.pdf
0
+ − 35
+ − 36
## clean
+ − 37
+ − 38
clean:
189
+ − 39
@rm -f ProgTutorial/generated/*