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 ../isabelle.eps . |
15 -rm ref.dvi* |
16 -rm ref.dvi* |
16 latex ref |
17 latex ref |
17 rail ref |
18 rail ref |
18 bibtex ref |
19 bibtex ref |
19 latex ref |
20 latex ref |
21 ../sedindex ref |
22 ../sedindex ref |
22 latex ref |
23 latex ref |
23 gzip -f ref.dvi |
24 gzip -f ref.dvi |
24 |
25 |
25 dist: $(FILES) |
26 dist: $(FILES) |
|
27 @ln -sf ../isabelle.eps . |
26 -rm ref.dvi* |
28 -rm ref.dvi* |
27 latex ref |
29 latex ref |
28 latex ref |
30 latex ref |
29 ../sedindex ref |
31 ../sedindex ref |
30 latex ref |
32 latex ref |