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.
tuned;
authorwenzelm
Mon, 21 Aug 2017 17:19:20 +0200
changeset 66476 c9628d79109b
parent 66475 d8e0fd64216f
child 66477 7dccaa6d419a
tuned;
src/Tools/jEdit/src-base/Isabelle_Base.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src-base/Isabelle_Base.props	Mon Aug 21 17:15:26 2017 +0200
+++ b/src/Tools/jEdit/src-base/Isabelle_Base.props	Mon Aug 21 17:19:20 2017 +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 DISABLE!
+plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD!
 
 #system parameters
 plugin.isabelle.jedit_base.Plugin.activate=startup
isabelle