| Sat, 07 Jan 2006 23:27:51 +0100 | wenzelm | updated; | changeset | files |
| Sat, 07 Jan 2006 13:50:38 +0100 | urbanc | another change for the new induct-method | changeset | files |
| Sat, 07 Jan 2006 12:28:25 +0100 | wenzelm | RuleCases.make_nested; | changeset | files |
| Sat, 07 Jan 2006 12:26:35 +0100 | wenzelm | support nested cases; | changeset | files |
| Sat, 07 Jan 2006 12:26:33 +0100 | wenzelm | support nested cases; | changeset | files |
| Sat, 07 Jan 2006 12:26:32 +0100 | wenzelm | RuleCases.make_common; | changeset | files |
| Sat, 07 Jan 2006 12:26:31 +0100 | wenzelm | pretty_locale: backquote notes; | changeset | files |