Home My Page Projects Coq.Interval
Summary Activity SCM Files

Source Code Repository for Coq.Interval

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

Anonymous Access

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

git clone https://scm.gforge.inria.fr/anonscm/git/coq-interval/coq-interval.git
git clone https://scm.gforge.inria.fr/anonscm/git/coq-interval/bench-ineqs.git
git clone https://scm.gforge.inria.fr/anonscm/git/coq-interval/www.git

Developer Access

via SSH

Only project developers can access the Git repositories via this method. SSH must be installed on your client machine. Substitute developername with the proper value.

git clone git+ssh://developername@scm.gforge.inria.fr/gitroot/coq-interval/coq-interval.git
git clone git+ssh://developername@scm.gforge.inria.fr/gitroot/coq-interval/bench-ineqs.git
git clone git+ssh://developername@scm.gforge.inria.fr/gitroot/coq-interval/www.git

via "smart HTTP"

Only project developers can access the Git repositories via this method. Enter your site password when prompted.

git clone https://developername@scm.gforge.inria.fr/authscm/developername/git/coq-interval/coq-interval.git
git clone https://developername@scm.gforge.inria.fr/authscm/developername/git/coq-interval/bench-ineqs.git
git clone https://developername@scm.gforge.inria.fr/authscm/developername/git/coq-interval/www.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 history of any file in the repository.

[Browse main git repository]

[Browse extra git repository: bench-ineqs]
[Browse extra git repository: www]
Repository History
Data about current and past states of the repository.
Name Adds Updates
Guillaume Melquiond 7 607
Erik Martin-Dorel 4 308
Thomas Sibut-Pinote 10 157
Assia Mahboubi 0 2
Total: 21 1074