| changeset 2996 | aedcf9e5aa3b |
| parent 2985 | 05ccb61aa628 |
| child 3052 | 41ec301eb062 |
| child 3070 | 4b4742aa43f2 |
| 2995:6d2859aeebba | 2996:aedcf9e5aa3b |
|---|---|
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
13 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
14 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
15 |
15 |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ##-D generated |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets ##-D generated |
17 |
17 |
18 |
18 |
19 ## Nominal2 |
19 ## Nominal2 |
20 |
20 |
21 tests: $(LOG)/HOL-Nominal2.gz |
21 tests: $(LOG)/HOL-Nominal2.gz |