On Tue, Aug 14, 2007 at 07:27:51AM +0200, Thorsten Kellermann wrote:
> But I could not found AEIThorns/Constants in CVS. Does somebody know how
> to handle this problem ?
It is in CVS, so e.g. by
cvs -d :pserver:kellerma at cvs.aei.mpg.de/numrelcvs/ \
co AEIThorns/Constants
Frank