src/Tools/jEdit/src/jedit/Plugin.scala
changeset 34623 a356a8ee6f00
parent 34618 e45052ff7233
child 34624 5e4f33d033ba
--- 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 */