--- a/etc/settings Mon Dec 09 16:38:28 1996 +0100
+++ b/etc/settings Mon Dec 09 16:39:11 1996 +0100
@@ -23,13 +23,18 @@
DEFAULT_LOGIC=HOL
+## documentation
+
+ISABELLE_DOCS=$ISABELLE_HOME/doc
+
+
## interfaces
#ISABELLE_INTERFACE=none
#ISABELLE_INTERFACE_OPTIONS=""
ISABELLE_INTERFACE=xterm
-ISABELLE_INTERFACE_OPTIONS="-geometry 80x55"
+ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
ISABELLE_SYMBOLS=true
#ISABELLE_INTERFACE=emacs
@@ -47,6 +52,7 @@
ML_SYSTEM=polyml-3.1
ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
ML_OPTIONS="-h 30000"
+LM_LICENSE_FILE=$ML_HOME/license.dat
#ML_SYSTEM=smlnj-0.93