| changeset 22148 | 3b99944136ef |
| parent 21812 | 2776dcfd5617 |
| child 23138 | 6852373aae8a |
--- a/etc/settings Sun Jan 21 16:43:46 2007 +0100 +++ b/etc/settings Sun Jan 21 16:43:47 2007 +0100 @@ -62,6 +62,12 @@ #ML_SUFFIX=".psv" #ML_PLATFORM="" +# Alice 1.3 (experimental!) +#ML_SYSTEM=alice +#ML_HOME="/usr/local/alice/bin" +#ML_OPTIONS="" +#ML_PLATFORM="" + ### ### Compilation options (cf. isatool usedir)