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
