The change over is essentially complete. When cloning the repository, you
should get the coq-8.1 branch of CoRN by default. This will be changed to
the coq-8.2 (which includes all my new work) when Coq 8.2 is released.
Currently the coq-trunk branch is a bit out of date. I've been working
with the coq-8.2 branch mostly recently.
The download page has been updated to reflect this new source control
system.
On Wed, 23 Jul 2008, [EMAIL PROTECTED] wrote:
Samuel Bronson has exported essentially all the arch history to a git
repository. So we are planning to take this opporunity to move the version
control system from arch to git.
I have set up a git repository that can be cloned by the command
git clone http://www.fnds.cs.ru.nl/git/CoRN.git
Right now the default branch is from 2006, but you can then checkout the
coq-trunk branch (which actually might not build on the svn trunk at the
momment, but I will work on that).
As I figure out how to use git, I will updated the download page to remove
the arch references, and refer to this git repository.
--
Russell O'Connor <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''
_______________________________________________
C-CoRN mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/c-corn
