1.1 --- a/etc/settings	Mon Dec 09 16:38:28 1996 +0100
     1.2 +++ b/etc/settings	Mon Dec 09 16:39:11 1996 +0100
     1.3 @@ -23,13 +23,18 @@
     1.4  DEFAULT_LOGIC=HOL
     1.5  
     1.6  
     1.7 +## documentation
     1.8 +
     1.9 +ISABELLE_DOCS=$ISABELLE_HOME/doc
    1.10 +
    1.11 +
    1.12  ## interfaces
    1.13  
    1.14  #ISABELLE_INTERFACE=none
    1.15  #ISABELLE_INTERFACE_OPTIONS=""
    1.16  
    1.17  ISABELLE_INTERFACE=xterm
    1.18 -ISABELLE_INTERFACE_OPTIONS="-geometry 80x55"
    1.19 +ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
    1.20  ISABELLE_SYMBOLS=true
    1.21  
    1.22  #ISABELLE_INTERFACE=emacs
    1.23 @@ -47,6 +52,7 @@
    1.24  ML_SYSTEM=polyml-3.1
    1.25  ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.26  ML_OPTIONS="-h 30000"
    1.27 +LM_LICENSE_FILE=$ML_HOME/license.dat
    1.28  
    1.29  #ML_SYSTEM=smlnj-0.93
    1.30