equal
deleted
inserted
replaced
10 thm.tex theories.tex defining.tex syntax.tex substitution.tex\ |
10 thm.tex theories.tex defining.tex syntax.tex substitution.tex\ |
11 simplifier.tex classical.tex theory-syntax.tex\ |
11 simplifier.tex classical.tex theory-syntax.tex\ |
12 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
12 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
13 |
13 |
14 ref.dvi.gz: $(FILES) |
14 ref.dvi.gz: $(FILES) |
15 @ln -sf ../gfx/isabelle.eps . |
15 /bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps . |
16 -rm ref.dvi* |
16 rm -f ref.dvi* |
17 latex ref |
17 latex ref |
18 rail ref |
18 rail ref |
19 bibtex ref |
19 bibtex ref |
20 latex ref |
20 latex ref |
21 latex ref |
21 latex ref |
22 ../sedindex ref |
22 ../sedindex ref |
23 latex ref |
23 latex ref |
24 gzip -f ref.dvi |
24 gzip -f ref.dvi |
25 |
25 |
26 dist: $(FILES) |
26 dist: $(FILES) |
27 @ln -sf ../gfx/isabelle.eps . |
27 /bin/test -e isabelle.eps || ln -s ../gfx/isabelle.eps . |
28 -rm ref.dvi* |
28 rm -f ref.dvi* |
29 latex ref |
29 latex ref |
30 latex ref |
30 latex ref |
31 ../sedindex ref |
31 ../sedindex ref |
32 latex ref |
32 latex ref |
33 |
33 |