equal
deleted
inserted
replaced
|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 # IsaMakefile for PSV2000 |
|
5 # |
|
6 |
|
7 SESSIONS = a1 |
|
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 |