| Tue, 11 Jul 2006 00:43:54 +0200 | kleing | hex and binary numerals (contributed by Rafal Kolanski) | changeset | files |
| Mon, 10 Jul 2006 21:02:29 +0200 | webertj | minor optimization wrt. certifying terms | changeset | files |
| Sat, 08 Jul 2006 14:12:13 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 08 Jul 2006 14:01:40 +0200 | wenzelm | tuned; | changeset | files |