coq - The formal proof system

Age	Commit message (Expand)	Author
2008-12-28	- Another bug in get_sort_family_of (sort-polymorphism of constants and	herbelin
2008-12-26	- Optimized "auto decomp" which had a (presumably) exponential in	herbelin
2008-11-22	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin
2006-05-28	- Déplacement des types paramétriques prod, sum, option, identity,	herbelin
2006-03-22	- Réintroduction d'un parseur de pattern (q_constr.ml4) à usage de	herbelin
2005-03-18	appel de Simplify depuis Coq	coq
2004-07-16	Nouvelle en-tête	herbelin
2003-06-20	Ground Update.	corbinea
2003-05-25	Ground and CCsolve updates	corbinea
2003-05-19	Restructuration des procédures de filtrage	herbelin
2003-04-25	Added the Ground tactic.	corbinea
2002-05-22	Correction of a bug in Intuition (no more decomposition of dependent pairs).	corbinea
2001-09-13	eclaircissement du code	courant
2001-03-15	entetes	filliatr
2001-02-14	Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)...	herbelin
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-05-03	diverses modifs pour ocamlweb	filliatr
2000-05-03	Ajout get_reference	herbelin
2000-04-30	Suite intégration de constr_pattern	herbelin
2000-04-28	Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern	herbelin