isabelle: doc-src/TutorialI/Makefile@795d38a6dab3 (annotated)

8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	1
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	2	## targets
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	3
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	4	default: dvi
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	5
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	6
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	7	## dependencies
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	8
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	9	include ../Makefile.in
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	10
11430 c51de60e26cf SEDINDEX = ./isa-index; wenzelm parents: 11428 diff changeset	11	SEDINDEX = ./isa-index
11400 ddcfdc38090d isa-index replaces ../sedindex: knows about \\isa paulson parents: 9695 diff changeset	12
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	13	NAME = tutorial
26913 67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 23927 diff changeset	14	FILES = tutorial.tex basics.tex fp.tex appendix.tex \
67040326ab7a use Isabelle sty files from Doc/; wenzelm parents: 23927 diff changeset	15	Advanced/advanced.tex CTL/ctl.tex Inductive/inductive.tex \
48522 708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	16	document/AB.tex document/Advanced.tex document/Even.tex \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	17	document/Mutual.tex document/Star.tex Protocol/protocol.tex \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	18	document/Event.tex document/Message.tex document/Public.tex \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	19	document/NS_Public.tex Rules/rules.tex Sets/sets.tex \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	20	Types/numerics.tex Types/types.tex document/Overloading.tex \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	21	document/Axioms.tex Documents/documents.tex \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	22	document/appendix.tex ../iman.sty ../ttbox.sty ../extra.sty \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	23	../../lib/texinputs/isabelle.sty \
708278fc2dff recovered latex job; wenzelm parents: 42637 diff changeset	24	../../lib/texinputs/isabellesym.sty ../pdfsetup.sty
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	25
48612 795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48522 diff changeset	26	ToyList2/ToyList.thy: ToyList2/ToyList1 ToyList2/ToyList2
795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48522 diff changeset	27	cat ToyList2/ToyList1 ToyList2/ToyList2 > ToyList2/ToyList.thy
795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48522 diff changeset	28
795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48522 diff changeset	29
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	30	dvi: $(NAME).dvi
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	31
48612 795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48522 diff changeset	32	$(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps ToyList2/ToyList.thy
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	33	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	34	$(BIBTEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	35	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	36	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	37	$(SEDINDEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	38	$(LATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	39
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	40	pdf: $(NAME).pdf
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	41
48612 795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48522 diff changeset	42	$(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf ToyList2/ToyList.thy
8743 3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	43	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	44	$(BIBTEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	45	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	46	$(PDFLATEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	47	$(SEDINDEX) $(NAME)
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	48	$(FIXBOOKMARKS) $(NAME).out
3253c6046d57 I wonder if that's all? nipkow parents: diff changeset	49	$(PDFLATEX) $(NAME)
12672 f85386e8acdf tuned; wenzelm parents: 12654 diff changeset	50	$(FIXBOOKMARKS) $(NAME).out

author	wenzelm
	Mon, 30 Jul 2012 17:37:34 +0200
changeset 48612	795d38a6dab3
parent 48522	708278fc2dff
permissions	-rw-r--r--