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.
clarified names;
authorwenzelm
Fri, 16 Jul 2021 12:34:47 +0200
changeset 74012 341941afe827
parent 74011 1d366486a812
child 74013 f114e11fe21d
clarified names;
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	Fri Jul 16 12:11:13 2021 +0200
+++ b/src/Tools/jEdit/jedit_base/plugin.props	Fri Jul 16 12:34:47 2021 +0200
@@ -6,7 +6,7 @@
 plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
 plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
 plugin.isabelle.jedit_base.Plugin.version=1.0
-plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD!
+plugin.isabelle.jedit_base.Plugin.description=Isabelle/jEdit base plugin: DO NOT UNLOAD!
 
 #system parameters
 plugin.isabelle.jedit_base.Plugin.activate=startup
--- 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
isabelle