Yesterday we replaced nauty25rc1 by nauty25. The changes are very minor: 1. Small fixes to the manual. 2. Fixed path in the script "runalltests" (thanks to Keith Briggs). Brendan.