# HG changeset patch
# User wenzelm
# Date 1246033443 -7200
# Node ID a356a8ee6f00130b2bc6f8524d3ee10872c23706
# Parent  b1b88879c5153d86bfa27e2c7b9fd207b8e47e82
renamed UTF-8-isabelle to UTF-8-Isabelle;

diff -r b1b88879c515 -r a356a8ee6f00 src/Tools/jEdit/dist-template/properties/jedit.props
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Fri Jun 26 18:23:30 2009 +0200
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Fri Jun 26 18:24:03 2009 +0200
@@ -1,6 +1,6 @@
 #jEdit properties
 buffer.deepIndent=false
-buffer.encoding=UTF-8-isabelle
+buffer.encoding=UTF-8-Isabelle
 buffer.indentSize=2
 buffer.lineSeparator=\n
 buffer.maxLineLen=100
diff -r b1b88879c515 -r a356a8ee6f00 src/Tools/jEdit/plugin/services.xml
--- a/src/Tools/jEdit/plugin/services.xml	Fri Jun 26 18:23:30 2009 +0200
+++ b/src/Tools/jEdit/plugin/services.xml	Fri Jun 26 18:24:03 2009 +0200
@@ -4,7 +4,7 @@
 	<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">
 		new isabelle.jedit.VFS();
 	</SERVICE>
-	<SERVICE NAME="UTF-8-isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
+	<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
 		new isabelle.jedit.IsabelleEncoding();
 	</SERVICE>
 	<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
diff -r b1b88879c515 -r a356a8ee6f00 src/Tools/jEdit/src/jedit/Plugin.scala
--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Fri Jun 26 18:23:30 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Fri Jun 26 18:24:03 2009 +0200
@@ -30,6 +30,8 @@
   val NAME = "Isabelle"
   val VFS_PREFIX = "isabelle:"
 
+  val ISABELLE_ENCODING = "UTF-8-Isabelle"
+
 
   /* properties */