Fri, 19 Dec 1997 13:30:21 +0100 | narasche | remove signatrue from records | changeset | files |
Fri, 19 Dec 1997 12:16:32 +0100 | wenzelm | tuned; | changeset | files |
Fri, 19 Dec 1997 12:09:58 +0100 | wenzelm | new version; | changeset | files |
Fri, 19 Dec 1997 12:09:08 +0100 | wenzelm | added record.ML; | changeset | files |
Fri, 19 Dec 1997 12:00:24 +0100 | narasche | first version of records | changeset | files |
Fri, 19 Dec 1997 10:33:59 +0100 | wenzelm | pasted old insertion sort (does not work with new sort function!) | changeset | files |
Fri, 19 Dec 1997 10:33:24 +0100 | wenzelm | adapted to new sort function; | changeset | files |