# HG changeset patch
# User wenzelm
# Date 850145951 -3600
# Node ID 8e45991e36014064bd6d7a0caa4e5fba88b28725
# Parent  c3e1eaea4418ec1dbcc9c51e629fba61fec6b08e
added ISABELLE_DOCS;

diff -r c3e1eaea4418 -r 8e45991e3601 etc/settings
--- 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