| Sat, 27 Dec 1997 21:49:45 +0100 | wenzelm | Generic tables (lacking delete operation). Implemented as 2-3 trees. | changeset | files |
| Wed, 24 Dec 1997 12:38:40 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 24 Dec 1997 12:21:06 +0100 | wenzelm | export range_type; | changeset | files |
| Wed, 24 Dec 1997 12:20:54 +0100 | wenzelm | improved comment; | changeset | files |