etc/settings

 
 # Note that ML_HOME specifies the location of the actual compiler
 # binaries.  Do not invent new ML system names unless you know what
 # you are doing.  Only one of the sections below should be activated.
 
-# Poly/ML 3.x and 4.0
+# Poly/ML 3.x and 4.0 or later
 if [ -e /usr/bin/poly -a -e /usr/lib/poly ]; then
-  #maybe a shrink-wrapped polyml-4.0 on x86-linux ...
-  ML_SYSTEM=polyml-4.0
+  #maybe a shrink-wrapped polyml-4.1.1 on x86-linux ...
+  ML_SYSTEM=polyml-4.1.1
   ML_PLATFORM=x86-linux
   ML_HOME=/usr/bin
   ML_DBASE=/usr/lib/poly/ML_dbase
   ML_OPTIONS="-h 30000"
 else

 
 ###
 ### Compilation options
 ###
 
-ISABELLE_USEDIR_OPTIONS="-i false"
-#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
+ISABELLE_USEDIR_OPTIONS=""
+
+# Default for precompiled distribution ...
+#ISABELLE_USEDIR_OPTIONS="-i true -d pdf -p 2"
 
 
 ###
 ### Document preparation
 ###

 
 # Site settings check -- just to make it a little bit harder to copy this file!
 [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
   { echo >&2 "### Isabelle site settings already present!  Maybe copied etc/settings in full?"; }
 
-#Users may want to change this.
+# Users may want to change this.
 ISABELLE_LOGIC=HOL
 
 
 ## Docs