On Tue, Apr 1, 2008 at 2:52 PM, Paul Melis <paul at science.uva.nl> wrote: > No changes, the latest revision stays at 8023: Argg, svn gave me dump error on checkin. A svn update then svn commit looks to have succeeded this time. Robert.