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)
+ − ## targets+ −
+ − default: cookbook+ −
images: + −
test: + −
+ − all: cookbook+ −
+ − ## global settings+ −
+ − SRC = $(ISABELLE_HOME)/src+ −
OUT = $(ISABELLE_OUTPUT)+ −
LOG = $(OUT)/log+ −
+ − USEDIR = $(ISATOOL) usedir -v true -D generated+ −
+ − rail:+ −
rail CookBook/generated/root+ −
cp CookBook/generated/root.rao CookBook/document+ −
+ − ## CookBook+ −
+ − cookbook: CookBook/ROOT.ML \+ −
CookBook/document/root.tex \+ −
CookBook/document/root.bib \+ −
CookBook/*.thy \+ −
CookBook/*.ML \+ −
CookBook/Recipes/*.thy \+ −
CookBook/Package/*.thy \+ −
CookBook/Package/*.ML+ −
$(USEDIR) HOL CookBook+ −
$(ISATOOL) document -o pdf CookBook/generated+ −
@cp CookBook/document.pdf cookbook.pdf+ −
+ − ## clean+ −
+ − clean:+ −
@rm -f CookBook/generated/*+ −