tuned comments;
authorwenzelm
Tue Mar 11 16:24:44 1997 +0100 (1997-03-11)
changeset 2786b36ca42c409a
parent 2785 27a17c846021
child 2787 33931e1023e3
tuned comments;
etc/settings
     1.1 --- a/etc/settings	Tue Mar 11 16:17:26 1997 +0100
     1.2 +++ b/etc/settings	Tue Mar 11 16:24:44 1997 +0100
     1.3 @@ -5,10 +5,10 @@
     1.4  #
     1.5  
     1.6  ###
     1.7 -### ML compiler settings
     1.8 +### ML compiler settings (ESSENTIAL)
     1.9  ###
    1.10  
    1.11 -## Uncomment / adapt one of the sections below.  Note that ML_HOME
    1.12 +## Uncomment and adapt one of the sections below.  Note that ML_HOME
    1.13  ## specifies the location of the actual compiler binaries.
    1.14  
    1.15  # Poly/ML 2.x
    1.16 @@ -42,7 +42,7 @@
    1.17  ### Compilation options
    1.18  ###
    1.19  
    1.20 -# Should be 'true' or 'false':
    1.21 +# HTML generation (should be 'true' or 'false').
    1.22  ISABELLE_HTML=false
    1.23  
    1.24  
    1.25 @@ -53,8 +53,13 @@
    1.26  # The place for user configuration, heap files, etc.
    1.27  ISABELLE_HOME_USER=~/isabelle
    1.28  
    1.29 -# Heap file in/out locations.
    1.30 -# Note: ML system and platform info is appended automatically!
    1.31 +# Where to look for isabelle tools.
    1.32 +ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    1.33 +
    1.34 +
    1.35 +# Heap file input and output locations.  Note that ML system and
    1.36 +# platform info is appended automatically.
    1.37 +
    1.38  ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    1.39  
    1.40  if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.41 @@ -63,8 +68,10 @@
    1.42    ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    1.43  fi
    1.44  
    1.45 +DEFAULT_LOGIC=HOL
    1.46  
    1.47 -DEFAULT_LOGIC=HOL
    1.48 +
    1.49 +## Docs
    1.50  
    1.51  ISABELLE_DOCS=$ISABELLE_HOME/doc
    1.52  
    1.53 @@ -73,7 +80,7 @@
    1.54  DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.55  
    1.56  
    1.57 -# How to install the isabelle X11 fonts.
    1.58 +# How to install the isabelle X11 fonts (can be tricky!).
    1.59  ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
    1.60  #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100"
    1.61  
    1.62 @@ -86,11 +93,6 @@
    1.63  #ISABELLE_INTERFACE=none
    1.64  #ISABELLE_INTERFACE_OPTIONS=""
    1.65  
    1.66 -# XTerm.
    1.67 +# Simple xterm based interface.
    1.68  ISABELLE_INTERFACE=xterm
    1.69 -ISABELLE_INTERFACE_OPTIONS="-p -mxterm"
    1.70 -
    1.71 -# GNU Emacs running Isamode.
    1.72 -#ISABELLE_INTERFACE=emacs
    1.73 -#ISABELLE_INTERFACE_OPTIONS=""
    1.74 -ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
    1.75 +ISABELLE_INTERFACE_OPTIONS=""