| changeset 282 | a3b4eed091d2 |
| parent 265 | 993068ce745f |
| child 360 | 66e0ec8acedc |
| 281:e5bfdd2d1ac8 | 282:a3b4eed091d2 |
|---|---|
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: itp |
4 default: itp |
5 all: session paper |
5 all: session itp |
6 |
6 |
7 ## global settings |
7 ## global settings |
8 |
8 |
9 SRC = $(ISABELLE_HOME)/src |
9 SRC = $(ISABELLE_HOME)/src |
10 OUT = $(ISABELLE_OUTPUT) |
10 OUT = $(ISABELLE_OUTPUT) |