Sun, 18 Dec 2005 01:51:03 +0000Added guipixbufs.h to BUILT_SOURCES. This solves 'make dist' problems.
ladanyi [Sun, 18 Dec 2005 01:51:03 +0000] rev 1862
Added guipixbufs.h to BUILT_SOURCES. This solves 'make dist' problems.

Sat, 17 Dec 2005 21:51:10 +0000Distribute xml.h too.
ladanyi [Sat, 17 Dec 2005 21:51:10 +0000] rev 1861
Distribute xml.h too.

Sat, 17 Dec 2005 20:55:41 +0000Save and load the coordinates of the arrows on the edges.
ladanyi [Sat, 17 Dec 2005 20:55:41 +0000] rev 1860
Save and load the coordinates of the arrows on the edges.

Wed, 14 Dec 2005 18:11:03 +0000Bug fix
deba [Wed, 14 Dec 2005 18:11:03 +0000] rev 1859
Bug fix
and doc fix

Wed, 14 Dec 2005 18:07:28 +0000Bug fix in def pred map
deba [Wed, 14 Dec 2005 18:07:28 +0000] rev 1858
Bug fix in def pred map

Sat, 10 Dec 2005 19:38:53 +0000belmann_ford:
klao [Sat, 10 Dec 2005 19:38:53 +0000] rev 1857
belmann_ford:
* run() with length limit
* bugfix in processNextRound()