--- a/src/Tools/jEdit/jedit_main/plugin.props Fri Jul 16 12:11:13 2021 +0200
+++ b/src/Tools/jEdit/jedit_main/plugin.props Fri Jul 16 12:34:47 2021 +0200
@@ -3,10 +3,10 @@
##:wrap=soft:maxLineLen=100:
#identification
-plugin.isabelle.jedit_main.Plugin.name=Isabelle
+plugin.isabelle.jedit_main.Plugin.name=Isabelle Main
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
+plugin.isabelle.jedit_main.Plugin.description=Isabelle/jEdit main plugin
#system parameters
plugin.isabelle.jedit_main.Plugin.activate=defer