# HG changeset patch
# User wenzelm
# Date 1128533292 -7200
# Node ID 72575258a5612934a3c63fbad09843c5472bee02
# Parent  504acb86c9f598c34b119473dec92f330df170db
added Poplog/PML version 15.6/2.1 (experimental!);

diff -r 504acb86c9f5 -r 72575258a561 etc/settings
--- 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)