Hi Daniel, > It works for me - I just tried it a moment ago. It may be a problem > with your CVS client. no it was some kind of temporary problem: 30 seconds ago it didn't work, but now it is checking out fine. Thanks for your help, Duncan.