Temporary import of Climacs's CVS repository