tuned whitespace;
authorwenzelm
Tue Apr 28 11:48:44 2015 +0200 (2015-04-28)
changeset 6020618267ceb10b5
parent 60205 9ee125c3bff7
child 60207 81a0900f0ddc
tuned whitespace;
src/Tools/jEdit/src/plugin.scala
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Tue Apr 28 11:47:49 2015 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Tue Apr 28 11:48:44 2015 +0200
     1.3 @@ -313,7 +313,7 @@
     1.4  
     1.5            if (Distribution.is_identified && !Distribution.is_official) {
     1.6              GUI.warning_dialog(jEdit.getActiveView, "Isabelle version for testing",
     1.7 -              "This is " + Distribution.version +".",
     1.8 +              "This is " + Distribution.version + ".",
     1.9                "It is for testing only, not for production use.")
    1.10            }
    1.11