| changeset 17768 | 72575258a561 |
| parent 17574 | aa9d8483cabc |
| child 17793 | 017e57b1f4d0 |
--- 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)