Version 1.11.17 (client/server) of CVS has been installed on both cvs.cs.unipr.it and sandbox.cs.unipr.it. This, in turn, required the upgrade of cvsweb on www.cs.unipr.it to version 3.0.2. If you spot any anomaly, please let me know immediately. Please, consider upgrading your local CVS installation to the same version: go to http://www.cvshome.org. For those of you with ix86 GNU/Linux distributions that use RPM packages: here is what you need: https://ccvs.cvshome.org/files/documents/19/360/cvs-1.11.17-1.i386.rpm Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it