src/Tools/jEdit/plugin/services.xml
changeset 34623 a356a8ee6f00
parent 34619 e89b6ec97910
child 34628 7d16987b73de
--- 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">