Re: [Mathlib-develop] CVS URL

[Stefan M. <st...@he...>]

Dear Tony,

thanks for your information. I have updated the web page.

If you didn't find the source code, here is the correct link:

cvs -d:pserver:ano...@cv...:/cvsroot/mathlib login

cvs -z8 -d:pserver:ano...@cv...:/cvsroot/mathlib co mathlib


Best regards,
   Stefan Mueller.

Tony Kennedy wrote:
> Hi
> 
> The URL for the CVS on the web page appears to be incorrect
> 
> Regards
> 
> Tony Kennedy
> 
> 
> 
> 
> -------------------------------------------------------
> SF.Net email is sponsored by: Tell us your software development plans!
> Take this survey and enter to win a one-year sub to SourceForge.net
> Plus IDC's 2005 look-ahead and a copy of this survey
> Click here to start!  http://www.idcswdc.com/cgi-bin/survey?id=105hix
> _______________________________________________
> Mathlib-develop mailing list
> Mat...@li...
> https://lists.sourceforge.net/lists/listinfo/mathlib-develop
>