| changeset 42138 | e54a985daa61 |
| parent 37781 | 2fbbf0a48cef |
| child 44147 | f3058e539e3a |
| 42137:6803f2fd15c1 | 42138:e54a985daa61 |
|---|---|
8 images: ZF |
8 images: ZF |
9 |
9 |
10 #Note: keep targets sorted |
10 #Note: keep targets sorted |
11 test: ZF-AC ZF-Coind ZF-Constructible ZF-IMP ZF-Induct ZF-Resid ZF-UNITY ZF-ex |
11 test: ZF-AC ZF-Coind ZF-Constructible ZF-IMP ZF-Induct ZF-Resid ZF-UNITY ZF-ex |
12 all: images test |
12 all: images test |
13 smlnj: all |
|
13 |
14 |
14 |
15 |
15 ## global settings |
16 ## global settings |
16 |
17 |
17 SRC = $(ISABELLE_HOME)/src |
18 SRC = $(ISABELLE_HOME)/src |