Mon, 20 Oct 2008 12:17:24 +0200 | Peter Kovacs | Small improvements in the unifier script | changeset | files |
Mon, 13 Oct 2008 14:00:11 +0200 | Balazs Dezso | Several improvements in maximum matching algorithms | changeset | files |
Mon, 13 Oct 2008 13:56:00 +0200 | Balazs Dezso | Port maximum matching algorithms from svn 3498 (ticket #48) | changeset | files |
Mon, 20 Oct 2008 20:03:14 +0200 | Alpar Juttner | Better help message and user question in unify-sources.sh | changeset | files |
Sun, 19 Oct 2008 16:19:32 +0200 | Balazs Dezso | Improved unifier and checker script | changeset | files |
Sat, 18 Oct 2008 11:46:25 +0200 | Peter Kovacs | Improve the 0.x->1.x converter script (ticket #157) | changeset | files |
Sun, 12 Oct 2008 19:35:48 +0100 | Alpar Juttner | Update NEWS file | changeset | files |
Sun, 12 Oct 2008 19:59:06 +0100 | Alpar Juttner | Merge | changeset | files |