equal
deleted
inserted
replaced
6 |
6 |
7 ### |
7 ### |
8 ### Compilation options |
8 ### Compilation options |
9 ### |
9 ### |
10 |
10 |
11 #ISABELLE_HTML=false |
11 #ISABELLE_USEDIR_OPTIONS="-h true -g true" |
12 |
12 |
13 |
13 |
14 ### |
14 ### |
15 ### Heap files |
15 ### Heap files |
16 ### |
16 ### |
17 |
17 |
18 # Note: ML system and platform info is appended automatically! |
18 # Note: ML system and platform info is appended automatically! |
19 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
19 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
20 |
20 |
21 #DEFAULT_LOGIC=ZF |
21 #DEFAULT_LOGIC=ZF |
22 #DEFAULT_LOGIC=HOL |
|
23 #DEFAULT_LOGIC=HOLCF |
|
24 |
22 |
25 |
23 |
26 ### |
24 ### |
27 ### Interfaces |
25 ### Interfaces |
28 ### |
26 ### |