coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Restructuration des procédures de filtrage	herbelin	2003-05-19
*	Enhancement of the Ground tactic, addition of GTauto and GIntuition.	corbinea	2003-05-07
*	Added the Ground tactic.	corbinea	2003-04-25
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	JMeq now treated as an equality by tactics.	courant	2002-11-14
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Correction of a bug in Intuition (no more decomposition of dependent pairs).	corbinea	2002-05-22
*	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras	2002-02-14
*	GROS COMMIT:	barras	2001-11-05
*	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin	2001-10-11
*	eclaircissement du code	courant	2001-09-13
*	entetes	filliatr	2001-03-15
*	Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)...	herbelin	2001-02-14
*	suppression des (* open Generic *)	filliatr	2000-11-02
*	Correction incompatibilites dans la fn des types des inductifs	herbelin	2000-10-06
*	Renommage AppL en App	herbelin	2000-10-01
*	Abstraction de constr	herbelin	2000-09-14
*	Correction pour make doc	herbelin	2000-09-10
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	Code mort	herbelin	2000-06-15
*	Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeurs	herbelin	2000-05-31
*	Effets de bords suite à la restructuration des inductives (cf Inductive)	herbelin	2000-05-18
*	Ajout get_reference	herbelin	2000-05-03
*	Divers	herbelin	2000-05-02
*	Suite intégration de constr_pattern	herbelin	2000-04-30
*	Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern	herbelin	2000-04-28