# HG changeset patch
# User wenzelm
# Date 1626368175 -7200
# Node ID 9f42f2a80ef3f22ebc3b0b0fff05811af7801250
# Parent  778ab9983f40d9495435ea2e52d374c2d423543a
avoid non-standard encoding;

diff -r 778ab9983f40 -r 9f42f2a80ef3 src/Tools/jEdit/jedit_base/plugin.props
--- a/src/Tools/jEdit/jedit_base/plugin.props	Thu Jul 15 18:29:34 2021 +0200
+++ b/src/Tools/jEdit/jedit_base/plugin.props	Thu Jul 15 18:56:15 2021 +0200
@@ -1,6 +1,6 @@
 ## Isabelle/jEdit plugin properties
 ##
-##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
+##:wrap=soft:maxLineLen=100:
 
 #identification
 plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
diff -r 778ab9983f40 -r 9f42f2a80ef3 src/Tools/jEdit/jedit_main/plugin.props
--- a/src/Tools/jEdit/jedit_main/plugin.props	Thu Jul 15 18:29:34 2021 +0200
+++ b/src/Tools/jEdit/jedit_main/plugin.props	Thu Jul 15 18:56:15 2021 +0200
@@ -1,10 +1,10 @@
 ## Isabelle/jEdit plugin properties
 ##
-##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
+##:wrap=soft:maxLineLen=100:
 
 #identification
 plugin.isabelle.jedit_main.Plugin.name=Isabelle
-plugin.isabelle.jedit_main.Plugin.author=Johannes Hölzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
+plugin.isabelle.jedit_main.Plugin.author=Johannes H\u00F6lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
 plugin.isabelle.jedit_main.Plugin.version=11.2
 plugin.isabelle.jedit_main.Plugin.description=Isabelle Prover IDE