isabelle: doc-src/IsarRef/Makefile@3bc332135aa7 (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
26857 c7709b3e1a4e depend on style.sty; wenzelm parents: 26849 diff changeset	16	FILES = isar-ref.tex style.sty basics.tex Thy/document/Generic.tex \
26846 2e6726015771 removed obsolete conversion guide -- converted only section on tactics; wenzelm parents: 26782 diff changeset	17	Thy/document/HOLCF_Specific.tex Thy/document/HOL_Specific.tex \
26869 3bc332135aa7 added chapters for "Specifications" and "Proofs"; wenzelm parents: 26857 diff changeset	18	Thy/document/ML_Tactic.tex Thy/document/Proof.tex \
3bc332135aa7 added chapters for "Specifications" and "Proofs"; wenzelm parents: 26857 diff changeset	19	Thy/document/Quick_Reference.tex Thy/document/Spec.tex \
26846 2e6726015771 removed obsolete conversion guide -- converted only section on tactics; wenzelm parents: 26782 diff changeset	20	Thy/document/ZF_Specific.tex Thy/document/intro.tex \
2e6726015771 removed obsolete conversion guide -- converted only section on tactics; wenzelm parents: 26782 diff changeset	21	Thy/document/pure.tex Thy/document/syntax.tex \
26849 df50bc1249d7 converted HOL specific elements; wenzelm parents: 26846 diff changeset	22	../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \
26846 2e6726015771 removed obsolete conversion guide -- converted only section on tactics; wenzelm parents: 26782 diff changeset	23	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	24
9f755ff43cff skeleton only; wenzelm parents: diff changeset	25	dvi: $(NAME).dvi
9f755ff43cff skeleton only; wenzelm parents: diff changeset	26
9f755ff43cff skeleton only; wenzelm parents: diff changeset	27	$(NAME).dvi: $(FILES) isabelle_isar.eps
9f755ff43cff skeleton only; wenzelm parents: diff changeset	28	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	29	$(RAIL) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	30	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	31	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	32	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	33	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	34	$(LATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	35
9f755ff43cff skeleton only; wenzelm parents: diff changeset	36	pdf: $(NAME).pdf
9f755ff43cff skeleton only; wenzelm parents: diff changeset	37
9f755ff43cff skeleton only; wenzelm parents: diff changeset	38	$(NAME).pdf: $(FILES) isabelle_isar.pdf
9f755ff43cff skeleton only; wenzelm parents: diff changeset	39	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	40	$(RAIL) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	41	$(BIBTEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	42	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	43	$(PDFLATEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	44	$(SEDINDEX) $(NAME)
9f755ff43cff skeleton only; wenzelm parents: diff changeset	45	$(FIXBOOKMARKS) $(NAME).out
9f755ff43cff skeleton only; wenzelm parents: diff changeset	46	$(PDFLATEX) $(NAME)

author	wenzelm
	Fri, 09 May 2008 23:35:57 +0200
changeset 26869	3bc332135aa7
parent 26857	c7709b3e1a4e
child 26898	0fffc7bc3604
permissions	-rw-r--r--