coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	maj	coq	2005-09-22
*	maj	coq	2005-09-21
*	Niveau 99 permettant de parser { } nécessaire aussi dans l'entrée pattern	herbelin	2005-09-21
*	maj	coq	2005-09-20
*	maj	coq	2005-09-19
*	maj	coq	2005-09-18
*	maj	coq	2005-09-17
*	maj	coq	2005-09-16
*	changed the syntax categories of arguments of functional scheme	coq	2005-09-16
*	maj	coq	2005-09-15
*	maj	coq	2005-09-14
*	maj	coq	2005-09-13
*	maj	coq	2005-09-12
*	maj	coq	2005-09-11
*	maj	coq	2005-09-10
*	Petit bug Declare Implicit Tactic	herbelin	2005-09-10
*	maj	coq	2005-09-09
*	maj	coq	2005-09-09
*	Declare Implicit Tactic	herbelin	2005-09-09
*	Declare Implicit Tactic	herbelin	2005-09-09
*	Référence pour IntMap	herbelin	2005-09-09
*	Nouvelle déclaration 'Declare Implicit Tactic' pour automatiser la résoluti...	herbelin	2005-09-09
*	Conséquences nettoyage pretyping.ml	herbelin	2005-09-09
*	Léger nettoyage et uniformisation + généralisation du point d'entrée ltac...	herbelin	2005-09-09
*	Suppression code inactif et commentaire apparemment incorrect (pour éviter c...	herbelin	2005-09-09
*	Suppression test CCSolve car remplaçé par Congruence mais qui ne traite pas...	herbelin	2005-09-09
*	maj	coq	2005-09-08
*	Test clear final dans intros pattern	herbelin	2005-09-08
*	Réparation bug #1000 (attendre fin de toutes les intros avant d'effacer les ...	herbelin	2005-09-08
*	Simplification message d'anomalie	herbelin	2005-09-08
*	Réparation bug #1004; nettoyage	herbelin	2005-09-08
*	maj	coq	2005-09-07
*	maj	coq	2005-09-06
*	Un vieux bug d'affichage des lieurs (cf bug #1005)	herbelin	2005-09-06
*	maj	coq	2005-09-05
*	maj	coq	2005-09-04
*	maj	coq	2005-09-03
*	maj	coq	2005-09-02
*	maj	coq	2005-09-01
*	maj	coq	2005-08-31
*	maj	coq	2005-08-30
*	maj	coq	2005-08-29
*	maj	coq	2005-08-28
*	maj	coq	2005-08-27
*	maj	coq	2005-08-26
*	* empty log message *	letouzey	2005-08-26
*	maj	coq	2005-08-25
*	maj	coq	2005-08-24
*	maj	coq	2005-08-23
*	maj	coq	2005-08-22