coq - The formal proof system

Age	Commit message (Expand)	Author
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