added Poplog/PML version 15.6/2.1 (experimental!);

--- a/etc/settings	Wed Oct 05 18:38:43 2005 +0200
+++ b/etc/settings	Wed Oct 05 19:28:12 2005 +0200
@@ -43,6 +43,13 @@
 #ML_PLATFORM=""
 #ML_OPTIONS=""
 
+# Poplog/PML version 15.6/2.1 (experimental!)
+#ML_SYSTEM=poplogml
+#ML_HOME="$ISABELLE_HOME/contrib/poplog/current-poplog/bin"
+#ML_PLATFORM=""
+#ML_OPTIONS="-noinit"
+
+
 
 ###
 ### Compilation options (cf. isatool usedir)