Home My Page Projects Coq
Summary Activity Lists SCM

Source Code Repository for Coq

Documentation for Git is available at http://git-scm.com/.

Anonymous Access to the Git repository

This project's Git repository can be checked out through anonymous access with the following command.

git clone https://gforge.inria.fr/git/coq/coq.git

Developer's repository

One of this project's members also has a personal Git repository that can be checked out anonymously.

git clone https://gforge.inria.fr/git/coq/users/jforest.git (Julien Forest) [Browse Git Repository]

Developer Access to the Git repository via SSH

Only project developers can access the Git repository via this method. SSH must be installed on your client machine. Substitute developername with the proper value. Enter your site password when prompted.

git clone git+ssh://developername@scm.gforge.inria.fr//gitroot/coq/coq.git

Git Repository Browser

Browsing the Git tree gives you a view into the current status of this project's code. You may also view the complete histories of any file in the repository.

[Browse Git Repository]