coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle en-tête	herbelin	2004-07-16
*	bugs avec Pose et Assert	barras	2004-01-09
*	meilleure presentation des commentaires du traducteur	barras	2004-01-02
*	Changement de l'afficheur pour que les variables liées aient un nom indépen...	herbelin	2003-09-23
*	Mise en place possibilité de définitions locales dans les paramètres des r...	herbelin	2003-09-06
*	Nouvelle mouture du traducteur v7->v8	herbelin	2003-08-11
*	Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)	herbelin	2003-03-29
*	typo	herbelin	2002-11-18
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	Protection des tactiques contre l'utilisation sans le bon contexte de thories	herbelin	2002-06-03
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Amélioration des messages d'erreurs concernant l'inférence des implicites	herbelin	2002-04-10
*	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras	2002-02-14
*	petit nettoyage de kernel/inductive	barras	2002-02-07
*	GROS COMMIT:	barras	2001-11-05
*	Parsing	herbelin	2001-08-10
*	correction d'un bug de Correctness (pour Y Bertot)	filliatr	2001-06-27
*	expansion des constr purs	filliatr	2001-04-23
*	réparation Correctness; options Extraction (changement de syntaxe)	filliatr	2001-04-10
*	branchement extraction en standard (pas de Require)	filliatr	2001-04-09
*	renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam...	filliatr	2001-04-04
*	branchement extraction (bytecode seulement)	filliatr	2001-03-30
*	mise en place de Correctness (ne compile pas encore)	filliatr	2001-03-29