isabelle: doc-src/IsarRef/Makefile@ff6b0c1087f2 (annotated)

7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	1	## targets
9f755ff43cff skeleton only; wenzelm parents: diff changeset	2
9f755ff43cff skeleton only; wenzelm parents: diff changeset	3	default: dvi
9f755ff43cff skeleton only; wenzelm parents: diff changeset	4
9f755ff43cff skeleton only; wenzelm parents: diff changeset	5
9f755ff43cff skeleton only; wenzelm parents: diff changeset	6	## dependencies
9f755ff43cff skeleton only; wenzelm parents: diff changeset	7
9f755ff43cff skeleton only; wenzelm parents: diff changeset	8	include ../Makefile.in
9f755ff43cff skeleton only; wenzelm parents: diff changeset	9
9f755ff43cff skeleton only; wenzelm parents: diff changeset	10	NAME = isar-ref
9f755ff43cff skeleton only; wenzelm parents: diff changeset	11
42916 e44ec5b2cd9f more accurate deps; wenzelm parents: 42915 diff changeset	12	FILES = isar-ref.tex style.sty Thy/document/Framework.tex \
e44ec5b2cd9f more accurate deps; wenzelm parents: 42915 diff changeset	13	Thy/document/Generic.tex Thy/document/HOLCF_Specific.tex \
e44ec5b2cd9f more accurate deps; wenzelm parents: 42915 diff changeset	14	Thy/document/HOL_Specific.tex Thy/document/ML_Tactic.tex \
e44ec5b2cd9f more accurate deps; wenzelm parents: 42915 diff changeset	15	Thy/document/Proof.tex Thy/document/Quick_Reference.tex \
42917 ba23e83b0868 added Synopsis, with some "Notepad" material; wenzelm parents: 42916 diff changeset	16	Thy/document/Spec.tex Thy/document/Synopsis.tex \
ba23e83b0868 added Synopsis, with some "Notepad" material; wenzelm parents: 42916 diff changeset	17	Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex \
ba23e83b0868 added Synopsis, with some "Notepad" material; wenzelm parents: 42916 diff changeset	18	Thy/document/Preface.tex Thy/document/Document_Preparation.tex \
ba23e83b0868 added Synopsis, with some "Notepad" material; wenzelm parents: 42916 diff changeset	19	Thy/document/Misc.tex Thy/document/Outer_Syntax.tex \
ba23e83b0868 added Synopsis, with some "Notepad" material; wenzelm parents: 42916 diff changeset	20	Thy/document/Symbols.tex ../isar.sty ../proof.sty ../iman.sty \
ba23e83b0868 added Synopsis, with some "Notepad" material; wenzelm parents: 42916 diff changeset	21	../extra.sty ../ttbox.sty ../../lib/texinputs/isabelle.sty \
ba23e83b0868 added Synopsis, with some "Notepad" material; wenzelm parents: 42916 diff changeset	22	../../lib/texinputs/isabellesym.sty \
42632 ebec0c1a5984 just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure; wenzelm parents: 42618 diff changeset	23	../../lib/texinputs/railsetup.sty ../pdfsetup.sty ../manual.bib
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	24
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	25	OUTPUT = syms.tex
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	26
42511 bf89455ccf9d eliminated copies of isabelle style files; wenzelm parents: 30168 diff changeset	27	syms.tex: showsymbols ../../lib/texinputs/isabellesym.sty
bf89455ccf9d eliminated copies of isabelle style files; wenzelm parents: 30168 diff changeset	28	@./showsymbols <../../lib/texinputs/isabellesym.sty >syms.tex
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	29
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	30
9f755ff43cff skeleton only; wenzelm parents: diff changeset	31	dvi: $(NAME).dvi
9f755ff43cff skeleton only; wenzelm parents: diff changeset	32
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	33	$(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	34	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	35	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	36	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	37	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	38	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	39	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	40
9f755ff43cff skeleton only; wenzelm parents: diff changeset	41	pdf: $(NAME).pdf
9f755ff43cff skeleton only; wenzelm parents: diff changeset	42
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	43	$(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	44	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	45	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	46	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	47	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	48	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	49	$(FIXBOOKMARKS) $(NAME).out
9f755ff43cff skeleton only; wenzelm parents: diff changeset	50	$(PDFLATEX) $(NAME)

author	paulson
	Tue, 06 Mar 2012 16:06:52 +0000
changeset 46821	ff6b0c1087f2
parent 42917	ba23e83b0868
child 48956	d54a3d39ba85
permissions	-rw-r--r--