Sat, 17 May 2008 06:30:02 +0100 | Alpar Juttner | More flexible header names in .lgf + largely improved doc | changeset | files |
Mon, 05 May 2008 11:41:30 +0200 | Alpar Juttner | Update .hgignore | changeset | files |
Mon, 28 Apr 2008 11:12:33 +0100 | Alpar Juttner | Merge | changeset | files |
Tue, 22 Apr 2008 18:12:58 +0200 | Akos Ladanyi | Convert the EPS files to PNG when generating the documentation | changeset | files |