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 message;
authorwenzelm
Fri, 25 Jul 2014 14:15:02 +0200
changeset 57680 ba206aa2ad39
parent 57679 d7e22be79eb2
child 57681 aabfd69ab754
tuned message;
src/Tools/jEdit/src/plugin.scala file | annotate | diff | comparison | revisions 
--- 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.")
           }
isabelle