changeset 42138 | e54a985daa61 |
parent 36862 | 952b2b102a0a |
child 45860 | 93eda35a8377 |
42137:6803f2fd15c1 | 42138:e54a985daa61 |
---|---|
6 |
6 |
7 default: CTT |
7 default: CTT |
8 images: CTT |
8 images: CTT |
9 test: CTT-ex |
9 test: CTT-ex |
10 all: images test |
10 all: images test |
11 smlnj: all |
|
11 |
12 |
12 |
13 |
13 ## global settings |
14 ## global settings |
14 |
15 |
15 SRC = $(ISABELLE_HOME)/src |
16 SRC = $(ISABELLE_HOME)/src |