| Sat, 27 Oct 2007 15:53:23 +0200 | krauss | use "fun" for definition of "member" -> authentic syntax | changeset | files |
| 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 |
| Fri, 26 Oct 2007 22:10:42 +0200 | wenzelm | export class_prefix; | changeset | files |
| Fri, 26 Oct 2007 21:22:20 +0200 | haftmann | tuned | changeset | files |
| Fri, 26 Oct 2007 21:22:19 +0200 | haftmann | changed order of class parameters | changeset | files |