etc/settings
author wenzelm
Mon Dec 16 10:28:50 1996 +0100 (1996-12-16)
changeset 2410 a0727e4d9453
parent 2352 562cb286138e
child 2426 dc9dcdb43b4f
permissions -rw-r--r--
added smlnj-0.93;
     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 ## documentation
    27 
    28 ISABELLE_DOCS=$ISABELLE_HOME/doc
    29 
    30 
    31 ## interfaces
    32 
    33 #ISABELLE_INTERFACE=none
    34 #ISABELLE_INTERFACE_OPTIONS=""
    35 
    36 ISABELLE_INTERFACE=xterm
    37 ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
    38 ISABELLE_SYMBOLS=true
    39 
    40 #ISABELLE_INTERFACE=emacs
    41 #ISABELLE_INTERFACE_OPTIONS=""
    42 #ISABELLE_SYMBOLS=true
    43 #ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
    44 
    45 
    46 ## ML compilers and options
    47 
    48 #ML_SYSTEM=polyml-2.x
    49 #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    50 #ML_OPTIONS="-h 30000"
    51 
    52 ML_SYSTEM=polyml-3.1
    53 ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    54 ML_OPTIONS="-h 30000"
    55 LM_LICENSE_FILE=$ML_HOME/license.dat
    56 
    57 #ML_SYSTEM=smlnj-0.93
    58 #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
    59 #ML_OPTIONS=""
    60 
    61 #ML_SYSTEM=smlnj-1.07
    62 #ML_HOME=/usr/local/sml107
    63 #ML_OPTIONS="@SMLdebug=/dev/null"
    64 
    65 #ML_SYSTEM=smlnj-1.09
    66 
    67 
    68 ## misc
    69 
    70 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    71 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"