changeset 73991 | 9f42f2a80ef3 |
parent 73987 | fc363a3b690a |
child 74012 | 341941afe827 |
--- 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