13841

1 
#


2 
# $Id$


3 
#


4 
# IsaMakefile for PSV2002


5 
#


6 


7 
SESSIONS = a1 a2 a3 a5 a6


8 


9 
## targets


10 


11 
default: sessions


12 
sessions: $(SESSIONS)


13 


14 


15 
## a1


16 


17 
a1: a1/generated/session.tex


18 


19 
a1/generated/session.tex: a1/ROOT.ML a1/*.thy


20 
isatool make


21 


22 
## a2


23 


24 
a2: a2/generated/session.tex


25 


26 
a2/generated/session.tex: a2/ROOT.ML a2/*.thy


27 
isatool make


28 


29 
## a3


30 


31 
a3: a3/generated/session.tex


32 


33 
a3/generated/session.tex: a3/ROOT.ML a3/*.thy


34 
isatool make


35 


36 
## a5


37 


38 
a5: a5/generated/session.tex


39 


40 
a5/generated/session.tex: a5/ROOT.ML a5/*.thy


41 
isatool make


42 


43 
## a6


44 


45 
a6: a6/generated/session.tex


46 


47 
a6/generated/session.tex: a6/ROOT.ML a6/*.thy


48 
isatool make
