author | lcp |
Mon, 12 Sep 1994 13:20:07 +0200 | |
changeset 605 | 4da7bd70afe2 |
child 1053 | a19fbe807f91 |
permissions | -rw-r--r-- |
lcp@605 | 1 |
# $Id$ |
lcp@605 | 2 |
######################################################################### |
lcp@605 | 3 |
# # |
lcp@605 | 4 |
# Makefile for the report "Isabelle's Object-Logics" # |
lcp@605 | 5 |
# # |
lcp@605 | 6 |
######################################################################### |
lcp@605 | 7 |
|
lcp@605 | 8 |
|
lcp@605 | 9 |
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\ |
lcp@605 | 10 |
../iman.sty ../extra.sty |
lcp@605 | 11 |
|
lcp@605 | 12 |
logics.dvi.gz: $(FILES) |
lcp@605 | 13 |
latex209 logics |
lcp@605 | 14 |
bibtex logics |
lcp@605 | 15 |
latex209 logics |
lcp@605 | 16 |
latex209 logics |
lcp@605 | 17 |
../sedindex logics |
lcp@605 | 18 |
latex209 logics |
lcp@605 | 19 |
gzip -f logics.dvi |