changeset 24211 | 213215a8640a |
parent 23917 | 8be45ac3bb7b |
child 24212 | 62ea51f106b9 |
--- a/etc/settings Fri Aug 10 00:20:39 2007 +0200 +++ b/etc/settings Fri Aug 10 10:41:57 2007 +0200 @@ -1,4 +1,4 @@ -# -*- shell-script -*- +# -*- shell-script -*- :mode=shellscript: # $Id$ # # Isabelle settings -- site defaults. @@ -62,7 +62,7 @@ #ML_SUFFIX=".psv" #ML_PLATFORM="" -# Alice 1.3 (experimental!) +# Alice 1.4 (experimental!) #ML_SYSTEM=alice #ML_HOME="/usr/local/alice/bin" #ML_OPTIONS=""