equal
deleted
inserted
replaced
46 test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps . |
46 test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps . |
47 |
47 |
48 isabelle_nitpick.eps: |
48 isabelle_nitpick.eps: |
49 test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps . |
49 test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps . |
50 |
50 |
|
51 isabelle_sledgehammer.eps: |
|
52 test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps . |
|
53 |
51 |
54 |
52 isabelle.pdf: |
55 isabelle.pdf: |
53 test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf . |
56 test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf . |
54 |
57 |
55 isabelle_isar.pdf: |
58 isabelle_isar.pdf: |
62 test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf . |
65 test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf . |
63 |
66 |
64 isabelle_nitpick.pdf: |
67 isabelle_nitpick.pdf: |
65 test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf . |
68 test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf . |
66 |
69 |
|
70 isabelle_sledgehammer.pdf: |
|
71 test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf . |
|
72 |
67 typedef.ps: |
73 typedef.ps: |
68 test -r typedef.ps || ln -s ../gfx/typedef.ps . |
74 test -r typedef.ps || ln -s ../gfx/typedef.ps . |
69 |
75 |
70 typedef.pdf: |
76 typedef.pdf: |
71 test -r typedef.pdf || ln -s ../gfx/typedef.pdf . |
77 test -r typedef.pdf || ln -s ../gfx/typedef.pdf . |