changeset 34624 | 5e4f33d033ba |
parent 34621 | 6cba4b3723e4 |
child 34625 | 799a40faa4f1 |
--- a/src/Tools/jEdit/src/jedit/IsabelleEncoding.scala Fri Jun 26 18:24:03 2009 +0200 +++ b/src/Tools/jEdit/src/jedit/IsabelleEncoding.scala Fri Jun 26 19:56:52 2009 +0200 @@ -15,6 +15,11 @@ import scala.io.{Source, BufferedSource} +object IsabelleEncoding +{ + val NAME = "UTF-8-Isabelle" +} + class IsabelleEncoding extends Encoding { private val charset = Charset.forName(Isabelle_System.charset)