| Sat, 30 May 2009 12:11:03 +0200 | wenzelm | more accurate setup for "jEdit" project; | changeset | files |
| Sat, 23 May 2009 14:26:51 +0200 | wenzelm | recovered iso-latin-1 text; | changeset | files |
| Fri, 22 May 2009 17:36:45 +0200 | immler | improved handling of markup-information with command=null | changeset | files |