Tue, 09 Dec 2014 20:00:45 +0100 | wenzelm | more jEdit colors; | changeset | files |
Tue, 09 Dec 2014 19:52:26 +0100 | wenzelm | proper alt_string markup (cf. 2ceb05ee0331); | changeset | files |
Tue, 09 Dec 2014 19:39:40 +0100 | wenzelm | tuned spelling; | changeset | files |