# HG changeset patch
# User wenzelm
# Date 1406290502 -7200
# Node ID ba206aa2ad3923ecb0aaf6f442d02f48a910699d
# Parent  d7e22be79eb21b218a6d34e559a242325e16e217
tuned message;

diff -r d7e22be79eb2 -r ba206aa2ad39 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Fri Jul 25 14:13:19 2014 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Fri Jul 25 14:15:02 2014 +0200
@@ -310,7 +310,7 @@
           PIDE.session.start("Isabelle", Isabelle_Logic.session_args())
 
           if (Distribution.is_identified && !Distribution.is_official) {
-            GUI.warning_dialog(jEdit.getActiveView, "Isabelle release candidate for testing",
+            GUI.warning_dialog(jEdit.getActiveView, "Isabelle version for testing",
               "This is " + Distribution.version +".",
               "It is for testing only, not for production use.")
           }