| Fri, 20 Mar 2009 21:31:45 +0100 | wenzelm | recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); | changeset | files |
| Fri, 20 Mar 2009 21:05:26 +0100 | wenzelm | more robust copying of jars; | changeset | files |
| Mon, 02 Feb 2009 23:08:44 +0100 | immler | referred to old version of TokenMarker | changeset | files |