| 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 |