| Tue, 16 Feb 2010 11:27:29 +0100 | wenzelm | misc tuning and simplification; | changeset | files |
| Mon, 15 Feb 2010 23:58:24 +0100 | wenzelm | refined and exported record_info; | changeset | files |
| Mon, 15 Feb 2010 22:40:03 +0100 | wenzelm | modernized structures; | changeset | files |