equal
deleted
inserted
replaced
32 #ML_HOME=/usr/local/sml107/bin |
32 #ML_HOME=/usr/local/sml107/bin |
33 #ML_OPTIONS="@SMLdebug=/dev/null" |
33 #ML_OPTIONS="@SMLdebug=/dev/null" |
34 |
34 |
35 # Standard ML of New Jersey 1.09 |
35 # Standard ML of New Jersey 1.09 |
36 #ML_SYSTEM=smlnj-1.09 |
36 #ML_SYSTEM=smlnj-1.09 |
37 #ML_HOME=~wenzelm/tmp/109/bin |
37 #ML_HOME=/usr/local/sml109/bin |
38 #ML_OPTIONS="@SMLdebug=/dev/null" |
38 #ML_OPTIONS="@SMLdebug=/dev/null" |
39 |
39 |
40 |
40 |
41 ### |
41 ### |
42 ### Compilation options |
42 ### Compilation options |
65 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
65 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
66 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
66 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
67 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
67 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
68 |
68 |
69 |
69 |
70 # How to install the isabelle X11 fonts |
70 # How to install the isabelle X11 fonts. |
71 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash" |
71 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash" |
72 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100" |
72 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100" |
73 |
73 |
74 |
74 |
75 ### |
75 ### |
78 |
78 |
79 # The null interface: pass-through to 'isabelle'. |
79 # The null interface: pass-through to 'isabelle'. |
80 #ISABELLE_INTERFACE=none |
80 #ISABELLE_INTERFACE=none |
81 #ISABELLE_INTERFACE_OPTIONS="" |
81 #ISABELLE_INTERFACE_OPTIONS="" |
82 |
82 |
83 # XTerm |
83 # XTerm. |
84 ISABELLE_INTERFACE=xterm |
84 ISABELLE_INTERFACE=xterm |
85 ISABELLE_INTERFACE_OPTIONS="" |
85 ISABELLE_INTERFACE_OPTIONS="" |
86 |
86 |
87 # GNU Emacs running Isamode. |
87 # GNU Emacs running Isamode. |
88 #ISABELLE_INTERFACE=emacs |
88 #ISABELLE_INTERFACE=emacs |