coq - The formal proof system

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