etc/settings
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)