equal
deleted
inserted
replaced
14 NAME = logics-ZF |
14 NAME = logics-ZF |
15 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty \ |
15 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty \ |
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \ |
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \ |
17 ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib |
17 ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib |
18 |
18 |
|
19 rail: |
|
20 $(RAIL) $(NAME) |
|
21 |
19 dvi: $(NAME).dvi |
22 dvi: $(NAME).dvi |
20 |
23 |
21 $(NAME).dvi: $(FILES) isabelle_zf.eps |
24 $(NAME).dvi: $(FILES) isabelle_zf.eps |
22 $(LATEX) $(NAME) |
25 $(LATEX) $(NAME) |
23 $(RAIL) $(NAME) |
|
24 $(BIBTEX) $(NAME) |
26 $(BIBTEX) $(NAME) |
25 $(LATEX) $(NAME) |
27 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |
27 $(SEDINDEX) $(NAME) |
29 $(SEDINDEX) $(NAME) |
28 $(LATEX) $(NAME) |
30 $(LATEX) $(NAME) |
29 |
31 |
30 pdf: $(NAME).pdf |
32 pdf: $(NAME).pdf |
31 |
33 |
32 $(NAME).pdf: $(FILES) isabelle_zf.pdf |
34 $(NAME).pdf: $(FILES) isabelle_zf.pdf |
33 $(PDFLATEX) $(NAME) |
35 $(PDFLATEX) $(NAME) |
34 $(RAIL) $(NAME) |
|
35 $(BIBTEX) $(NAME) |
36 $(BIBTEX) $(NAME) |
36 $(PDFLATEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |
38 $(PDFLATEX) $(NAME) |
38 $(SEDINDEX) $(NAME) |
39 $(SEDINDEX) $(NAME) |
39 $(FIXBOOKMARKS) $(NAME).out |
40 $(FIXBOOKMARKS) $(NAME).out |