|
605
|
1 |
# $Id$
|
|
|
2 |
#########################################################################
|
|
|
3 |
# #
|
|
|
4 |
# Makefile for the report "Isabelle's Object-Logics" #
|
|
|
5 |
# #
|
|
|
6 |
#########################################################################
|
|
|
7 |
|
|
|
8 |
|
|
|
9 |
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
|
|
|
10 |
../iman.sty ../extra.sty
|
|
|
11 |
|
|
|
12 |
logics.dvi.gz: $(FILES)
|
|
|
13 |
latex209 logics
|
|
|
14 |
bibtex logics
|
|
|
15 |
latex209 logics
|
|
|
16 |
latex209 logics
|
|
|
17 |
../sedindex logics
|
|
|
18 |
latex209 logics
|
|
|
19 |
gzip -f logics.dvi
|