Skip to content
Newer
Older
100644 15 lines (11 sloc) 662 Bytes
27882e4 Updated COPYRIGHT file and header. Improved and fixed header updater.
herbelin authored Jul 24, 2010
1 The Coq proof assistant
c0d7196 Ajout d'un fichier COPYRIGHT
mohring authored Mar 15, 2004
2
46a819c Version number, copyright, credits: missing updates.
herbelin authored Dec 25, 2011
3 Copyright 1999-2011 The Coq development team, INRIA, CNRS, University
27882e4 Updated COPYRIGHT file and header. Improved and fixed header updater.
herbelin authored Jul 24, 2010
4 Paris Sud, University Paris 7, Ecole Polytechnique.
bce104e Merge from Lionel Elie Mamane's private branch:
lmamane authored Jan 10, 2007
5
c0d7196 Ajout d'un fichier COPYRIGHT
mohring authored Mar 15, 2004
6 This product includes also software developed by
27882e4 Updated COPYRIGHT file and header. Improved and fixed header updater.
herbelin authored Jul 24, 2010
7 Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega)
8 Pierre Courtieu and Julien Forest, CNAM (plugins/funind)
9 Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/xml)
97d7b5e @ppedrot Fixed #2789.
ppedrot authored May 25, 2012
10 Pierre Corbineau, Radboud University, Nijmegen (declarative mode)
27882e4 Updated COPYRIGHT file and header. Improved and fixed header updater.
herbelin authored Jul 24, 2010
11 John Harrison, University of Cambridge (csdp wrapper)
12
13 The file CREDITS contains a list of contributors.
14 The credits section in the Reference Manual details contributions.
Something went wrong with that request. Please try again.