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

7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	1	#
9f755ff43cff skeleton only; wenzelm parents: diff changeset	2	# $Id$
9f755ff43cff skeleton only; wenzelm parents: diff changeset	3	#
9f755ff43cff skeleton only; wenzelm parents: diff changeset	4
9f755ff43cff skeleton only; wenzelm parents: diff changeset	5	## targets
9f755ff43cff skeleton only; wenzelm parents: diff changeset	6
9f755ff43cff skeleton only; wenzelm parents: diff changeset	7	default: dvi
9f755ff43cff skeleton only; wenzelm parents: diff changeset	8
9f755ff43cff skeleton only; wenzelm parents: diff changeset	9
9f755ff43cff skeleton only; wenzelm parents: diff changeset	10	## dependencies
9f755ff43cff skeleton only; wenzelm parents: diff changeset	11
9f755ff43cff skeleton only; wenzelm parents: diff changeset	12	include ../Makefile.in
9f755ff43cff skeleton only; wenzelm parents: diff changeset	13
9f755ff43cff skeleton only; wenzelm parents: diff changeset	14	NAME = isar-ref
9f755ff43cff skeleton only; wenzelm parents: diff changeset	15
27048 0e86aab627f3 removed onsolete pure.thy (cf. Misc.thy); wenzelm parents: 27043 diff changeset	16	FILES = isar-ref.tex style.sty Thy/document/Generic.tex \
26906 6e8152678e06 use ../isabelle.sty, ../isabellesym.sty; wenzelm parents: 26898 diff changeset	17	Thy/document/HOLCF_Specific.tex Thy/document/HOL_Specific.tex \
6e8152678e06 use ../isabelle.sty, ../isabellesym.sty; wenzelm parents: 26898 diff changeset	18	Thy/document/ML_Tactic.tex Thy/document/Proof.tex \
6e8152678e06 use ../isabelle.sty, ../isabellesym.sty; wenzelm parents: 26898 diff changeset	19	Thy/document/Quick_Reference.tex Thy/document/Spec.tex \
28762 f5d79aeffd81 separate chapter "Inner syntax --- the term language"; wenzelm parents: 27048 diff changeset	20	Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex \
f5d79aeffd81 separate chapter "Inner syntax --- the term language"; wenzelm parents: 27048 diff changeset	21	Thy/document/Introduction.tex Thy/document/Document_Preparation.tex \
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	22	Thy/document/Misc.tex Thy/document/Outer_Syntax.tex \
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	23	Thy/document/Symbols.tex ../isar.sty ../rail.sty ../railsetup.sty \
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	24	../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../isabelle.sty \
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	25	../isabellesym.sty ../pdfsetup.sty ../manual.bib
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	26
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	27	OUTPUT = syms.tex
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	28
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	29	syms.tex: showsymbols ../isabellesym.sty
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	30	@./showsymbols <../isabellesym.sty >syms.tex
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	31
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	32
9f755ff43cff skeleton only; wenzelm parents: diff changeset	33	dvi: $(NAME).dvi
9f755ff43cff skeleton only; wenzelm parents: diff changeset	34
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	35	$(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	36	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	37	$(RAIL) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	38	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	39	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	40	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	41	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	42	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	43
9f755ff43cff skeleton only; wenzelm parents: diff changeset	44	pdf: $(NAME).pdf
9f755ff43cff skeleton only; wenzelm parents: diff changeset	45
28838 d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual; wenzelm parents: 28762 diff changeset	46	$(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	47	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	48	$(RAIL) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	49	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	50	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	51	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	52	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	53	$(FIXBOOKMARKS) $(NAME).out
9f755ff43cff skeleton only; wenzelm parents: diff changeset	54	$(PDFLATEX) $(NAME)

author	ballarin
	Tue, 16 Dec 2008 20:18:46 +0100
changeset 29218	f7ffe90879e2
parent 28838	d5db6dfcb34a
child 30168	9a20be5be90b
permissions	-rw-r--r--