--- 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