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

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

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

Member repository

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

git clone https://scm.gforge.inria.fr/anonscm/git/coq/users/jforest.git (Julien Forest)

Developer Access

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.

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

via "smart HTTP"

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

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

[Browse main git repository]

[Browse personal git repository: jforest]
Repository History
Data about current and past states of the repository.
Name Adds Updates
Benjamin Monate 37
Claudio Sacerdoti Coen 32
David Delahaye 25
Frédéric Blanqui 215
Grégoire AUJAY 2
Micaela Mayero 15
Hugo Herbelin 1363 17904
Pierre letouzey 1043 11593
Pierre-Marie Pédrot 402 9380
Matthieu Sozeau 204 5098
Arnaud Spiwack 167 3015
Matthieu Sozeau 212 2584
Enrico Tassi 127 2442
Jean-Marc Notin 320 2066
Stephane Glondu 24 2224
Maxime Dénès 104 2088
Pierre Boutillier 43 1942
Yves Bertot 1610 64
Benjamin Gregoire 48 1569
Guillaume Melquiond 16 1063
Bruno Barras 201 852
Evgeny Makarov 123 406
Elie Soubiran 8 512
Xavier Clerc 249 228
Julien Forest 13 421
Yann Régis-Gianas 3 311
Pierre Corbineau 83 264
Pierre Courtieu 9 239
Vincent Gross 21 215
Frédéric BESSON 11 194
Matthias Puech 25 167
Vincent Siles 4 133
Lionel Mamane 1 134
Laurent Théry 9 90
Matej Košík 4 91
Loïc Pottier 33 57
Jean-Christophe Filliâtre 715 59
Yves Bertot 0 47
Julien Narboux 0 39
Assia Mahboubi 0 36
Russell O'Connor 5 26
Daniel de Rauglaudre 2 22
Thomas Sibut-Pinote 4 18
G Serpyc 0 15
Pierre Hellier 1 13
Claude Marché 4 13
Lionel Rieg 0 13
Florent Kirchner 1 11
Gabriel Scherer 0 11
Gaetan Gilbert 3 7
Marc Lasson 0 9
Thomas Hutchinson 0 9
Christine PAULIN-MOHRING 0 7
Virgile Prevosto 0 7
Cyprien Mangin 1 5
Théo Zimmermann 0 6
Cezary Kaliszyk 1 4
Catalin Hritcu 0 4
Jacques-Henri Jourdan 0 4
Erik Martin-Dorel 0 3
Guillaume Claret 3 0
Daniel Grayson 0 2
Thomas Refis 1 1
Abhishek Anand 0 1
Benjamin Werner 0 1
Pierre-Yves Strub 1 0
Timothy Bourke 0 1
Vadim Zaliva 0 1
Total: 7548 67741