| Fri, 05 Oct 2001 23:58:17 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | changeset | files |
| Fri, 05 Oct 2001 21:50:37 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 05 Oct 2001 21:49:59 +0200 | wenzelm | "num" syntax; | changeset | files |