| Sat, 27 Oct 2007 12:48:44 +0200 | haftmann | ASCIIfied README | changeset | files |
| Sat, 27 Oct 2007 12:48:24 +0200 | haftmann | added list comprehension syntax | changeset | files |
| Fri, 26 Oct 2007 22:10:44 +0200 | wenzelm | locale_const: in_class workaround prevents additional locale version of class consts; | changeset | files |
| Fri, 26 Oct 2007 22:10:43 +0200 | wenzelm | notation: associate syntax to checked-unchecked term; | changeset | files |