etc/settings
changeset 2294 a67343c87db4
child 2309 390c1b6baaa5
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/etc/settings	Mon Dec 02 18:15:26 1996 +0100
     1.3 @@ -0,0 +1,61 @@
     1.4 +#
     1.5 +# Isabelle settings -- site defaults.
     1.6 +#
     1.7 +# $Id$
     1.8 +#
     1.9 +
    1.10 +## user isabelle directory
    1.11 +
    1.12 +ISABELLE_HOME_USER=~/isabelle
    1.13 +
    1.14 +
    1.15 +## machines to be selected randomly
    1.16 +
    1.17 +#ISABELLE_HOSTS="sunbroy49 sunbroy53"
    1.18 +ISABELLE_HOSTS=""
    1.19 +
    1.20 +
    1.21 +## logic images
    1.22 +
    1.23 +ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    1.24 +ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.25 +
    1.26 +DEFAULT_LOGIC=HOL
    1.27 +
    1.28 +
    1.29 +## interfaces
    1.30 +
    1.31 +#ISABELLE_INTERFACE=none
    1.32 +#ISABELLE_INTERFACE_OPTIONS=""
    1.33 +
    1.34 +ISABELLE_INTERFACE=xterm
    1.35 +ISABELLE_INTERFACE_OPTIONS="-geometry 80x55"
    1.36 +ISABELLE_SYMBOLS=true
    1.37 +
    1.38 +#ISABELLE_INTERFACE=emacs
    1.39 +#ISABELLE_INTERFACE_OPTIONS=""
    1.40 +#ISABELLE_SYMBOLS=true
    1.41 +
    1.42 +
    1.43 +## ML compilers and options
    1.44 +
    1.45 +#ML_SYSTEM=polyml-2.07
    1.46 +#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    1.47 +#ML_OPTIONS="-h 30000"
    1.48 +
    1.49 +ML_SYSTEM=polyml-3.1
    1.50 +ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.51 +ML_OPTIONS="-h 30000"
    1.52 +
    1.53 +#ML_SYSTEM=smlnj-0.93
    1.54 +
    1.55 +#ML_SYSTEM=smlnj-1.07
    1.56 +#ML_HOME=/usr/local/sml107
    1.57 +#ML_OPTIONS="@SMLdebug=/dev/null"
    1.58 +
    1.59 +#ML_SYSTEM=smlnj-1.09
    1.60 +
    1.61 +
    1.62 +## misc
    1.63 +
    1.64 +DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"