coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement de l'indicateur de date "@" par 'at'	herbelin	2003-11-26
*	Prise en compte des defs syntaxiques dans is_global et global_reference qui p...	herbelin	2003-11-24
*	traduction des noms de correctness	herbelin	2003-10-30
*	Indépendance vis à vis de Declare	herbelin	2003-09-12
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	portage Correctness (substitutivité pour les modules)	filliatr	2002-09-19
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	code mort dans tactinterp; plus de Debug On/Off dans Correctness	filliatr	2002-02-21
*	affichages avec prterm_env et non prterm; deb_print pour vraiment ne rien fai...	filliatr	2002-02-08
*	compat ocaml 3.03	filliatr	2001-12-13
*	GROS COMMIT:	barras	2001-11-05
*	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin	2001-10-17
*	reparation	filliatr	2001-10-12
*	Suppression des arguments sur les constantes, inductifs et constructeurs	barras	2001-10-09
*	Parsing	herbelin	2001-08-10
*	réparation Correctness; options Extraction (changement de syntaxe)	filliatr	2001-04-10
*	renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam...	filliatr	2001-04-04
*	mise en place de Correctness (ne compile pas encore)	filliatr	2001-03-29