| author | wenzelm |
| Mon, 09 Dec 1996 16:39:11 +0100 | |
| changeset 2345 | 8e45991e3601 |
| parent 2309 | 390c1b6baaa5 |
| child 2352 | 562cb286138e |
| permissions | -rw-r--r-- |
| wenzelm@2294 | 1 |
# |
| wenzelm@2294 | 2 |
# $Id$ |
| wenzelm@2294 | 3 |
# |
| wenzelm@2309 | 4 |
# Isabelle settings -- site defaults. |
| wenzelm@2309 | 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@2345 | 26 |
## documentation |
| wenzelm@2345 | 27 |
|
| wenzelm@2345 | 28 |
ISABELLE_DOCS=$ISABELLE_HOME/doc |
| wenzelm@2345 | 29 |
|
| wenzelm@2345 | 30 |
|
| wenzelm@2294 | 31 |
## interfaces |
| wenzelm@2294 | 32 |
|
| wenzelm@2294 | 33 |
#ISABELLE_INTERFACE=none |
| wenzelm@2294 | 34 |
#ISABELLE_INTERFACE_OPTIONS="" |
| wenzelm@2294 | 35 |
|
| wenzelm@2294 | 36 |
ISABELLE_INTERFACE=xterm |
| wenzelm@2345 | 37 |
ISABELLE_INTERFACE_OPTIONS="-geometry 80x52" |
| wenzelm@2294 | 38 |
ISABELLE_SYMBOLS=true |
| wenzelm@2294 | 39 |
|
| wenzelm@2294 | 40 |
#ISABELLE_INTERFACE=emacs |
| wenzelm@2294 | 41 |
#ISABELLE_INTERFACE_OPTIONS="" |
| wenzelm@2294 | 42 |
#ISABELLE_SYMBOLS=true |
| wenzelm@2309 | 43 |
#ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode |
| wenzelm@2294 | 44 |
|
| wenzelm@2294 | 45 |
|
| wenzelm@2294 | 46 |
## ML compilers and options |
| wenzelm@2294 | 47 |
|
| wenzelm@2294 | 48 |
#ML_SYSTEM=polyml-2.07 |
| wenzelm@2294 | 49 |
#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2 |
| wenzelm@2294 | 50 |
#ML_OPTIONS="-h 30000" |
| wenzelm@2294 | 51 |
|
| wenzelm@2294 | 52 |
ML_SYSTEM=polyml-3.1 |
| wenzelm@2294 | 53 |
ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4 |
| wenzelm@2294 | 54 |
ML_OPTIONS="-h 30000" |
| wenzelm@2345 | 55 |
LM_LICENSE_FILE=$ML_HOME/license.dat |
| wenzelm@2294 | 56 |
|
| wenzelm@2294 | 57 |
#ML_SYSTEM=smlnj-0.93 |
| wenzelm@2294 | 58 |
|
| wenzelm@2294 | 59 |
#ML_SYSTEM=smlnj-1.07 |
| wenzelm@2294 | 60 |
#ML_HOME=/usr/local/sml107 |
| wenzelm@2294 | 61 |
#ML_OPTIONS="@SMLdebug=/dev/null" |
| wenzelm@2294 | 62 |
|
| wenzelm@2294 | 63 |
#ML_SYSTEM=smlnj-1.09 |
| wenzelm@2294 | 64 |
|
| wenzelm@2294 | 65 |
|
| wenzelm@2294 | 66 |
## misc |
| wenzelm@2294 | 67 |
|
| wenzelm@2294 | 68 |
DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |