| author | clasohm |
| Thu, 29 Jun 1995 12:28:27 +0200 | |
| changeset 1163 | c080ff36d24e |
| parent 1053 | a19fbe807f91 |
| child 1226 | e9c01f251f5d |
| permissions | -rw-r--r-- |
| 605 | 1 |
# $Id$ |
2 |
######################################################################### |
|
3 |
# # |
|
4 |
# Makefile for the report "Isabelle's Object-Logics" # |
|
5 |
# # |
|
6 |
######################################################################### |
|
7 |
||
8 |
||
|
1163
c080ff36d24e
changed 'chol' labels to 'hol'; added a few parentheses
clasohm
parents:
1053
diff
changeset
|
9 |
FILES = logics.tex intro.tex FOL.tex ZF.tex CHOL.tex LK.tex CTT.tex\ |
| 605 | 10 |
../iman.sty ../extra.sty |
11 |
||
12 |
logics.dvi.gz: $(FILES) |
|
| 1053 | 13 |
-rm logics.dvi.gz |
| 605 | 14 |
latex209 logics |
15 |
bibtex logics |
|
16 |
latex209 logics |
|
17 |
latex209 logics |
|
18 |
../sedindex logics |
|
19 |
latex209 logics |
|
20 |
gzip -f logics.dvi |