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