Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid non-standard encoding;
authorwenzelm
Thu, 15 Jul 2021 18:56:15 +0200
changeset 73991 9f42f2a80ef3
parent 73990 778ab9983f40
child 73992 fecbf83ab281
avoid non-standard encoding;
src/Tools/jEdit/jedit_base/plugin.props file | annotate | diff | comparison | revisions
src/Tools/jEdit/jedit_main/plugin.props file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle