605

1 
# $Id$


2 
#########################################################################


3 
# #


4 
# Makefile for the report "Isabelle's ObjectLogics" #


5 
# #


6 
#########################################################################


7 


8 

1226

9 
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\

3096

10 
../rail.sty ../proof.sty ../iman.sty ../extra.sty

605

11 


12 
logics.dvi.gz: $(FILES)

5170

13 
@ln sf ../isabelle.eps .

2661

14 
rm logics.dvi*

3096

15 
latex logics

1683

16 
rail logics

605

17 
bibtex logics

3096

18 
latex logics


19 
latex logics

605

20 
../sedindex logics

3096

21 
latex logics

605

22 
gzip f logics.dvi

2661

23 


24 
dist: $(FILES)

5170

25 
@ln sf ../isabelle.eps .

2661

26 
rm logics.dvi*

3096

27 
latex logics


28 
latex logics

2661

29 
../sedindex logics

3096

30 
latex logics

3164

31 


32 
clean:


33 
@rm *.aux *.log *.toc *.idx *.rai


34 
