Thanks for adding that Bill. It was not what I was looking for though.
Here is an example from the MPFR download page that is an example of what I
was hoping for:
Or checkout the 2.4 branch from the Subversion repository, e.g. with the
command
svn co svn://scm.gforge.inria.fr/svn/mpfr/branches/2.4 mpfr-2.4
I am fairly ignorant of SVN and don't use it much. I was able to get the
MPFR repository using the above.
Regards
Chris Saunders
--------------------------------------------------
From: "Bill Hart" <goodwillh...@googlemail.com>
Sent: Monday, May 24, 2010 5:37 PM
To: <mpir-devel@googlegroups.com>
Subject: Re: [mpir-devel] SVN access
I also added a link to a basic page on how to use svn to the website.
Note that at some times of day, the server on which mpir svn is
located bogs down do to mirroring and svn becomes inaccessible for a
few hours. At present there is nothing we can do about that. But at
other times it should be accessible.
Bill.
On 24 May 2010 21:42, Chris Saunders <e...@mountaincable.net> wrote:
I was just looking at the page http://www.mpir.org/ under the section
Development List. There is a link there to the SVN repository but no
instructions for downloading the repository using SVN. Could some be
provided?
Regards
Chris Saunders
--
You received this message because you are subscribed to the Google Groups
"mpir-devel" group.
To post to this group, send email to mpir-de...@googlegroups.com.
To unsubscribe from this group, send email to
mpir-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/mpir-devel?hl=en.
--
You received this message because you are subscribed to the Google Groups
"mpir-devel" group.
To post to this group, send email to mpir-de...@googlegroups.com.
To unsubscribe from this group, send email to
mpir-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/mpir-devel?hl=en.
--
You received this message because you are subscribed to the Google Groups
"mpir-devel" group.
To post to this group, send email to mpir-de...@googlegroups.com.
To unsubscribe from this group, send email to
mpir-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/mpir-devel?hl=en.
