etc/settings
author wenzelm
Mon Dec 09 16:51:14 1996 +0100 (1996-12-09)
changeset 2352 562cb286138e
parent 2345 8e45991e3601
child 2410 a0727e4d9453
permissions -rw-r--r--
added DVI_VIEWER for 600dpi fonts;
     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.07
    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 
    59 #ML_SYSTEM=smlnj-1.07
    60 #ML_HOME=/usr/local/sml107
    61 #ML_OPTIONS="@SMLdebug=/dev/null"
    62 
    63 #ML_SYSTEM=smlnj-1.09
    64 
    65 
    66 ## misc
    67 
    68 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    69 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"