author | wenzelm |
Mon, 02 Dec 1996 18:15:26 +0100 | |
changeset 2294 | a67343c87db4 |
child 2309 | 390c1b6baaa5 |
permissions | -rw-r--r-- |
wenzelm@2294 | 1 |
# |
wenzelm@2294 | 2 |
# Isabelle settings -- site defaults. |
wenzelm@2294 | 3 |
# |
wenzelm@2294 | 4 |
# $Id$ |
wenzelm@2294 | 5 |
# |
wenzelm@2294 | 6 |
|
wenzelm@2294 | 7 |
## user isabelle directory |
wenzelm@2294 | 8 |
|
wenzelm@2294 | 9 |
ISABELLE_HOME_USER=~/isabelle |
wenzelm@2294 | 10 |
|
wenzelm@2294 | 11 |
|
wenzelm@2294 | 12 |
## machines to be selected randomly |
wenzelm@2294 | 13 |
|
wenzelm@2294 | 14 |
#ISABELLE_HOSTS="sunbroy49 sunbroy53" |
wenzelm@2294 | 15 |
ISABELLE_HOSTS="" |
wenzelm@2294 | 16 |
|
wenzelm@2294 | 17 |
|
wenzelm@2294 | 18 |
## logic images |
wenzelm@2294 | 19 |
|
wenzelm@2294 | 20 |
ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps |
wenzelm@2294 | 21 |
ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps |
wenzelm@2294 | 22 |
|
wenzelm@2294 | 23 |
DEFAULT_LOGIC=HOL |
wenzelm@2294 | 24 |
|
wenzelm@2294 | 25 |
|
wenzelm@2294 | 26 |
## interfaces |
wenzelm@2294 | 27 |
|
wenzelm@2294 | 28 |
#ISABELLE_INTERFACE=none |
wenzelm@2294 | 29 |
#ISABELLE_INTERFACE_OPTIONS="" |
wenzelm@2294 | 30 |
|
wenzelm@2294 | 31 |
ISABELLE_INTERFACE=xterm |
wenzelm@2294 | 32 |
ISABELLE_INTERFACE_OPTIONS="-geometry 80x55" |
wenzelm@2294 | 33 |
ISABELLE_SYMBOLS=true |
wenzelm@2294 | 34 |
|
wenzelm@2294 | 35 |
#ISABELLE_INTERFACE=emacs |
wenzelm@2294 | 36 |
#ISABELLE_INTERFACE_OPTIONS="" |
wenzelm@2294 | 37 |
#ISABELLE_SYMBOLS=true |
wenzelm@2294 | 38 |
|
wenzelm@2294 | 39 |
|
wenzelm@2294 | 40 |
## ML compilers and options |
wenzelm@2294 | 41 |
|
wenzelm@2294 | 42 |
#ML_SYSTEM=polyml-2.07 |
wenzelm@2294 | 43 |
#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2 |
wenzelm@2294 | 44 |
#ML_OPTIONS="-h 30000" |
wenzelm@2294 | 45 |
|
wenzelm@2294 | 46 |
ML_SYSTEM=polyml-3.1 |
wenzelm@2294 | 47 |
ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4 |
wenzelm@2294 | 48 |
ML_OPTIONS="-h 30000" |
wenzelm@2294 | 49 |
|
wenzelm@2294 | 50 |
#ML_SYSTEM=smlnj-0.93 |
wenzelm@2294 | 51 |
|
wenzelm@2294 | 52 |
#ML_SYSTEM=smlnj-1.07 |
wenzelm@2294 | 53 |
#ML_HOME=/usr/local/sml107 |
wenzelm@2294 | 54 |
#ML_OPTIONS="@SMLdebug=/dev/null" |
wenzelm@2294 | 55 |
|
wenzelm@2294 | 56 |
#ML_SYSTEM=smlnj-1.09 |
wenzelm@2294 | 57 |
|
wenzelm@2294 | 58 |
|
wenzelm@2294 | 59 |
## misc |
wenzelm@2294 | 60 |
|
wenzelm@2294 | 61 |
DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |