| Mon, 08 Oct 2001 12:28:43 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 08 Oct 2001 12:27:19 +0200 | wenzelm | replace 0r/1r by 0/1; | changeset | files |
| Mon, 08 Oct 2001 12:13:56 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 08 Oct 2001 12:13:34 +0200 | wenzelm | fixed numerals; | changeset | files |
| Sat, 06 Oct 2001 00:02:46 +0200 | wenzelm | * sane numerals (stage 2): plain "num" syntax (removed "#"); | changeset | files |
| Fri, 05 Oct 2001 23:58:52 +0200 | wenzelm | tuned; | changeset | files |
| 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 |