# 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)