equal
deleted
inserted
replaced
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # Isabelle settings -- site defaults. |
4 # Isabelle settings -- site defaults. |
5 # |
5 # Do *NOT* copy this file into your personal isabelle directory! |
6 |
6 |
7 ### |
7 ### |
8 ### ML compiler settings (ESSENTIAL!) |
8 ### ML compiler settings (ESSENTIAL!) |
9 ### |
9 ### |
10 |
10 |
96 |
96 |
97 # (2) Get from font server at Munich or Cambridge: |
97 # (2) Get from font server at Munich or Cambridge: |
98 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
98 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
99 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" |
99 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" |
100 |
100 |
|
101 |
101 ### |
102 ### |
102 ### Interfaces |
103 ### Interfaces |
103 ### |
104 ### |
104 |
|
105 # Global options. |
|
106 ISABELLE_INTERFACE_OPTIONS="" |
|
107 |
|
108 |
105 |
109 # The null interface: pass-through to 'isabelle'. |
106 # The null interface: pass-through to 'isabelle'. |
110 #ISABELLE_INTERFACE=none |
107 #ISABELLE_INTERFACE=none |
111 |
108 |
112 # Simple xterm based interface. |
109 # Simple xterm based interface. |
113 ISABELLE_INTERFACE=xterm |
110 ISABELLE_INTERFACE=xterm |
|
111 ISABELLE_XTERM_OPTIONS="" |
114 |
112 |
115 # Emacs running Isamode. |
113 # Emacs running Isamode. |
116 #ISABELLE_INTERFACE=emacs |
114 #ISABELLE_INTERFACE=emacs |
117 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode |
115 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode |
118 ISAMODE_EMACS="xemacs -q" |
116 ISAMODE_OPTIONS="" |
|
117 |
|
118 # Emacs running Proof General. |
|
119 #ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interface |
|
120 PROOFGENERAL_OPTIONS="" |