graphical frontend to CVS
