# HG changeset patch
# User wenzelm
# Date 1186735317 -7200
# Node ID 213215a8640aa1eb20ba20b40fab84d1ca34b8c5
# Parent  a865059c4fcbbc24e425485ca2012eb30a88ab98
added jEdit mode spec;
tuned comments;

diff -r a865059c4fcb -r 213215a8640a etc/settings
--- 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=""