| Fri, 04 Jul 2008 15:21:48 +0200 | Balazs Dezso | Section readers moved to distinct class | changeset | files |
| Thu, 03 Jul 2008 12:40:04 +0200 | Balazs Dezso | New skip*() functions in (Dig|G)raphReader | changeset | files |
| Wed, 02 Jul 2008 13:51:20 +0100 | Akos Ladanyi | Fix bug caused by m4 consuming pairs of square brackets (#108). | changeset | files |
| Wed, 02 Jul 2008 10:37:14 +0200 | Balazs Dezso | Improvments in map name handling | changeset | files |