changeset 27202 | 1a604efd267d |
parent 26908 | 25fb7241f32e |
child 27906 | df49b4da8903 |
--- a/etc/settings Sat Jun 14 17:26:09 2008 +0200 +++ b/etc/settings Sat Jun 14 17:26:10 2008 +0200 @@ -67,13 +67,6 @@ #ML_OPTIONS="" #ML_PLATFORM="" -# Poplog/PML version 15.6/2.1 (experimental!) -#ML_SYSTEM=poplogml -#ML_HOME="/usr/local/poplog/current-poplog/bin" -#ML_OPTIONS="-noinit" -#ML_SUFFIX=".psv" -#ML_PLATFORM="" - ### ### Interactive sessions (cf. isatool tty)