equal
deleted
inserted
replaced
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-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 |
22 #DEFAULT_LOGIC=HOL |
23 #DEFAULT_LOGIC=HOLCF |
23 #DEFAULT_LOGIC=HOLCF |
24 |
24 |
25 |
25 |
26 ### |
26 ### |
27 ### Interfaces |
27 ### Interfaces |
28 ### |
28 ### |
29 |
29 |
30 # Xterm with symbol font. |
30 # XTerm |
31 #ISABELLE_INTERFACE=xterm |
31 #ISABELLE_INTERFACE=xterm |
32 #ISABELLE_INTERFACE_OPTIONS="-geometry 80x60" |
32 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false" |
33 #ISABELLE_SYMBOLS=true |
|
34 |
33 |
35 # GNU Emacs running Isamode. |
34 # GNU Emacs running Isamode. |
36 #ISABELLE_INTERFACE=emacs |
35 #ISABELLE_INTERFACE=emacs |
37 #ISABELLE_INTERFACE_OPTIONS="" |
36 #ISABELLE_INTERFACE_OPTIONS="" |
38 #ISABELLE_SYMBOLS=true |
|