[Mathlib-develop] sources moved to SVN

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

Dear everybody,

for you information:

I have created a SVN repository. All development has been moved to a
subversion repository. As it turns out, subversion is really great.

check it out with svn for public access at:
https://mathlib.svn.sourceforge.net/svnroot/mathlib

In case you like it is possible to browse the code at
http://mathlib.svn.sourceforge.net/viewvc/mathlib/

Kind regards,
  Stefan.