Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added jEdit mode spec;
authorwenzelm
Fri, 10 Aug 2007 10:41:57 +0200
changeset 24211 213215a8640a
parent 24210 a865059c4fcb
child 24212 62ea51f106b9
added jEdit mode spec; tuned comments;
etc/settings file | annotate | diff | comparison | revisions 
--- 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=""
isabelle