# HG changeset patch
# User wenzelm
# Date 1503328760 -7200
# Node ID c9628d79109b4d29e5ea4ea52f7b4fcf549748aa
# Parent  d8e0fd64216fb882c6967825bde441a74af29414
tuned;

diff -r d8e0fd64216f -r c9628d79109b src/Tools/jEdit/src-base/Isabelle_Base.props
--- 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