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 whitespace;
authorwenzelm
Tue, 28 Apr 2015 11:48:44 +0200
changeset 60206 18267ceb10b5
parent 60205 9ee125c3bff7
child 60207 81a0900f0ddc
tuned whitespace;
src/Tools/jEdit/src/plugin.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/plugin.scala	Tue Apr 28 11:47:49 2015 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Tue Apr 28 11:48:44 2015 +0200
@@ -313,7 +313,7 @@
 
           if (Distribution.is_identified && !Distribution.is_official) {
             GUI.warning_dialog(jEdit.getActiveView, "Isabelle version for testing",
-              "This is " + Distribution.version +".",
+              "This is " + Distribution.version + ".",
               "It is for testing only, not for production use.")
           }
isabelle