coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout matrix_transpose	herbelin	2000-03-07
*	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin	2000-01-26
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21
*	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr	1999-12-07
*	declarations eliminations / debuggae inductifs (debut)	filliatr	1999-12-06
*	- global_reference traite des variables	filliatr	1999-12-03
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	poursuite de Vernacentries	filliatr	1999-12-01
*	prvecti	filliatr	1999-11-26
*	module Termast	filliatr	1999-11-26
*	MAJ pour fusion avec pretyping	herbelin	1999-11-24
*	Vernacinterp et Vernacentries (partiellement)	filliatr	1999-11-24
*	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr	1999-11-24
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	module Wcclausenv	filliatr	1999-11-22
*	module Pattern, Wcclausenv (interface) et Tacticals	filliatr	1999-11-19
*	modules Bij, Gmapl, Stock	filliatr	1999-11-19
*	- module Redinfo dans library/ pour les constantes d'élimination	filliatr	1999-10-22
*	- documentation repertoire proofs/	filliatr	1999-10-20
*	modules Evar_refiner et Typing_ev	filliatr	1999-10-20
*	module Refiner	filliatr	1999-10-19
*	mise en place module Refiner	filliatr	1999-10-18
*	- re-introduction d'une evar_map dans unsafe_env	filliatr	1999-10-13
*	module Bstack et Edit	filliatr	1999-09-28
*	ajout de divers fonctions dans lib/	filliatr	1999-09-28
*	time stamps dans System	filliatr	1999-09-08
*	mise en place commandes minicoq	filliatr	1999-09-07
*	mise en place repertoire test-suite/, toplevel/, parsing/	filliatr	1999-09-06
*	modules Libobject et Summary (partiel)	filliatr	1999-09-03
*	un petit effort de presentation dans les interfaces	filliatr	1999-08-30
*	module Coqast	filliatr	1999-08-26
*	mach et himsg; typage sans extraction	filliatr	1999-08-24
*	mise en place programmation literaire (generation de doc/coq.tex)	filliatr	1999-08-19
*	module Reduction (fin)	filliatr	1999-08-18
*	module Reduction (debut)	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17
*	ajout dyn; divers fonctions util	filliatr	1999-08-17
*	ancien names decoupe en names + sign	filliatr	1999-08-16
*	Initial revision	filliatr	1999-08-16