major cleanup;
authorwenzelm
Tue Dec 17 12:50:41 1996 +0100 (1996-12-17)
changeset 2426dc9dcdb43b4f
parent 2425 4db9e4a150d6
child 2427 d5efdfad074d
major cleanup;
added comments;
etc/settings
     1.1 --- a/etc/settings	Tue Dec 17 12:50:03 1996 +0100
     1.2 +++ b/etc/settings	Tue Dec 17 12:50:41 1996 +0100
     1.3 @@ -2,70 +2,77 @@
     1.4  # $Id$
     1.5  #
     1.6  # Isabelle settings -- site defaults.
     1.7 +#
     1.8  
     1.9 +###
    1.10 +### ML compiler settings
    1.11 +###
    1.12 +
    1.13 +## Uncomment / adapt one of the sections below.  Note that ML_HOME
    1.14 +## specifies the location of the actual compiler binaries.
    1.15 +
    1.16 +# Poly/ML 2.x
    1.17 +#ML_SYSTEM=polyml-2.x
    1.18 +#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    1.19 +#ML_OPTIONS="-h 30000"
    1.20  
    1.21 -## user isabelle directory
    1.22 +# Poly/ML 3.1
    1.23 +ML_SYSTEM=polyml-3.1
    1.24 +ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.25 +ML_OPTIONS="-h 30000"
    1.26 +LM_LICENSE_FILE=$ML_HOME/license.dat
    1.27  
    1.28 -ISABELLE_HOME_USER=~/isabelle
    1.29 +# Standard ML of New Jersey 0.93
    1.30 +#ML_SYSTEM=smlnj-0.93
    1.31 +#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
    1.32 +#ML_OPTIONS=""
    1.33 +
    1.34 +# Standard ML of New Jersey 1.07
    1.35 +#ML_SYSTEM=smlnj-1.07
    1.36 +#ML_HOME=/usr/local/sml107/bin
    1.37 +#ML_OPTIONS="@SMLdebug=/dev/null"
    1.38 +
    1.39 +# Standard ML of New Jersey 1.09
    1.40 +#ML_SYSTEM=smlnj-1.09
    1.41 +#ML_HOME=~wenzelm/tmp/109/bin
    1.42 +#ML_OPTIONS="@SMLdebug=/dev/null"
    1.43  
    1.44  
    1.45 -## machines to be selected randomly
    1.46 +###
    1.47 +### Misc path settings
    1.48 +###
    1.49  
    1.50 -#ISABELLE_HOSTS="sunbroy49 sunbroy53"
    1.51 -ISABELLE_HOSTS=""
    1.52 +# The place for user configuration, heap files, etc.
    1.53 +ISABELLE_HOME_USER=~/isabelle
    1.54  
    1.55 -
    1.56 -## logic images
    1.57 -
    1.58 +# Heap file in/out locations.
    1.59 +# Note: ML system and platform info is appended automatically!
    1.60  ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    1.61  ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.62  
    1.63  DEFAULT_LOGIC=HOL
    1.64  
    1.65 -
    1.66 -## documentation
    1.67 -
    1.68  ISABELLE_DOCS=$ISABELLE_HOME/doc
    1.69  
    1.70 +#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    1.71 +DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.72  
    1.73 -## interfaces
    1.74  
    1.75 +###
    1.76 +### Interfaces
    1.77 +###
    1.78 +
    1.79 +# The null interface: pass-through to 'isabelle'.
    1.80  #ISABELLE_INTERFACE=none
    1.81  #ISABELLE_INTERFACE_OPTIONS=""
    1.82  
    1.83 +# Xterm with symbol font.
    1.84  ISABELLE_INTERFACE=xterm
    1.85  ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
    1.86  ISABELLE_SYMBOLS=true
    1.87  
    1.88 +# GNU Emacs running Isamode.
    1.89  #ISABELLE_INTERFACE=emacs
    1.90  #ISABELLE_INTERFACE_OPTIONS=""
    1.91  #ISABELLE_SYMBOLS=true
    1.92 -#ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
    1.93 -
    1.94 -
    1.95 -## ML compilers and options
    1.96 -
    1.97 -#ML_SYSTEM=polyml-2.x
    1.98 -#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    1.99 -#ML_OPTIONS="-h 30000"
   1.100 -
   1.101 -ML_SYSTEM=polyml-3.1
   1.102 -ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
   1.103 -ML_OPTIONS="-h 30000"
   1.104 -LM_LICENSE_FILE=$ML_HOME/license.dat
   1.105 -
   1.106 -#ML_SYSTEM=smlnj-0.93
   1.107 -#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
   1.108 -#ML_OPTIONS=""
   1.109 -
   1.110 -#ML_SYSTEM=smlnj-1.07
   1.111 -#ML_HOME=/usr/local/sml107
   1.112 -#ML_OPTIONS="@SMLdebug=/dev/null"
   1.113 -
   1.114 -#ML_SYSTEM=smlnj-1.09
   1.115 -
   1.116 -
   1.117 -## misc
   1.118 -
   1.119 -#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
   1.120 -DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   1.121 +ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode