| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | fixed format selection logic for Waldmeister | changeset | files |
| Wed, 08 Jun 2011 16:20:18 +0200 | blanchet | better default type system for Waldmeister, with fewer predicates (for types or type classes) | changeset | files |
| Wed, 08 Jun 2011 22:06:05 +0200 | wenzelm | simplified directory structure; | changeset | files |
| Wed, 08 Jun 2011 21:40:54 +0200 | wenzelm | simplified directory structure; | changeset | files |
| Wed, 08 Jun 2011 21:29:49 +0200 | wenzelm | further jedit build option; | changeset | files |
| 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); | changeset | files |