etc/settings
changeset 2345 8e45991e3601
parent 2309 390c1b6baaa5
child 2352 562cb286138e
equal deleted inserted replaced
2344:c3e1eaea4418 2345:8e45991e3601
    21 ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    21 ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    22 
    22 
    23 DEFAULT_LOGIC=HOL
    23 DEFAULT_LOGIC=HOL
    24 
    24 
    25 
    25 
       
    26 ## documentation
       
    27 
       
    28 ISABELLE_DOCS=$ISABELLE_HOME/doc
       
    29 
       
    30 
    26 ## interfaces
    31 ## interfaces
    27 
    32 
    28 #ISABELLE_INTERFACE=none
    33 #ISABELLE_INTERFACE=none
    29 #ISABELLE_INTERFACE_OPTIONS=""
    34 #ISABELLE_INTERFACE_OPTIONS=""
    30 
    35 
    31 ISABELLE_INTERFACE=xterm
    36 ISABELLE_INTERFACE=xterm
    32 ISABELLE_INTERFACE_OPTIONS="-geometry 80x55"
    37 ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
    33 ISABELLE_SYMBOLS=true
    38 ISABELLE_SYMBOLS=true
    34 
    39 
    35 #ISABELLE_INTERFACE=emacs
    40 #ISABELLE_INTERFACE=emacs
    36 #ISABELLE_INTERFACE_OPTIONS=""
    41 #ISABELLE_INTERFACE_OPTIONS=""
    37 #ISABELLE_SYMBOLS=true
    42 #ISABELLE_SYMBOLS=true
    45 #ML_OPTIONS="-h 30000"
    50 #ML_OPTIONS="-h 30000"
    46 
    51 
    47 ML_SYSTEM=polyml-3.1
    52 ML_SYSTEM=polyml-3.1
    48 ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    53 ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    49 ML_OPTIONS="-h 30000"
    54 ML_OPTIONS="-h 30000"
       
    55 LM_LICENSE_FILE=$ML_HOME/license.dat
    50 
    56 
    51 #ML_SYSTEM=smlnj-0.93
    57 #ML_SYSTEM=smlnj-0.93
    52 
    58 
    53 #ML_SYSTEM=smlnj-1.07
    59 #ML_SYSTEM=smlnj-1.07
    54 #ML_HOME=/usr/local/sml107
    60 #ML_HOME=/usr/local/sml107