author | clasohm |
Tue, 30 Jan 1996 13:42:57 +0100 | |
changeset 1461 | 6bcb44e4d6e5 |
parent 1226 | e9c01f251f5d |
child 1683 | a5bcaf5894f3 |
permissions | -rw-r--r-- |
# $Id$ ######################################################################### # # # Makefile for the report "Isabelle's Object-Logics" # # # ######################################################################### FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\ ../iman.sty ../extra.sty logics.dvi.gz: $(FILES) -rm logics.dvi.gz latex209 logics bibtex logics latex209 logics latex209 logics ../sedindex logics latex209 logics gzip -f logics.dvi