--- a/etc/settings Sat Oct 08 20:15:31 2005 +0200 +++ b/etc/settings Sat Oct 08 20:15:32 2005 +0200 @@ -48,7 +48,7 @@ #ML_HOME="$ISABELLE_HOME/contrib/poplog/current-poplog/bin" #ML_PLATFORM="" #ML_OPTIONS="-noinit" - +#ML_SUFFIX=".psv" ###