Wed, 19 Sep 2012 17:07:25 +0200 | wenzelm | earlier treatment of embedded report/no_report messages (see also 4110cc1b8f9f); | file | diff | annotate |
Tue, 18 Sep 2012 17:20:40 +0200 | wenzelm | more explicit message markup and rendering; | file | diff | annotate |
Fri, 14 Sep 2012 18:12:41 +0200 | wenzelm | clarified markup names; | file | diff | annotate |
Wed, 18 Apr 2012 20:42:55 +0200 | wenzelm | more friendly sendback rendering, using green and "frisches Steingrau"; | file | diff | annotate |
Wed, 08 Jun 2011 20:58:51 +0200 | wenzelm | build jedit as part of regular startup script (in that case depending on jedit_build component); | file | diff | annotate | base |