equal
deleted
inserted
replaced
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # Isabelle user settings sample (everything commented out) |
4 # Isabelle user settings sample (everything commented out) |
5 # -- some parts may be copied into ~/isabelle/etc/settings. |
5 # -- may be copied to ~/isabelle/etc/settings |
6 # |
6 # |
7 |
|
8 ### |
|
9 ### Compilation options |
|
10 ### |
|
11 |
7 |
12 #ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
8 #ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
13 |
9 |
14 |
|
15 ### |
|
16 ### Heap files |
|
17 ### |
|
18 |
|
19 # Note: ML system identifier appended automatically! |
|
20 |
|
21 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
|
22 #ISABELLE_OUTPUT=somewhere-else |
|
23 |
|
24 #ISABELLE_LOGIC=ZF |
10 #ISABELLE_LOGIC=ZF |
25 |
|
26 |
|
27 ### |
|
28 ### Interfaces |
|
29 ### |
|
30 |
|
31 # Simple xterm based interface. |
|
32 #ISABELLE_INTERFACE=xterm |
|
33 |
|
34 # Emacs running Isamode. |
|
35 #ISABELLE_INTERFACE=emacs |
|