Tue, 06 Jul 2004 20:31:06 +0200 | schirmer | * record_upd_simproc also simplifies trivial updates: | changeset | files |
Sat, 03 Jul 2004 15:26:58 +0200 | berghofe | Added delete operation. | changeset | files |
Thu, 01 Jul 2004 12:29:53 +0200 | paulson | new treatment of binary numerals | changeset | files |