coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Implemented autorewrite with ... in hyp [using ...].	sacerdot	2005-05-18
*	maj	coq	2005-05-17
*	maj	coq	2005-05-17
*	Affinements suite à extension Tactic Notation aux tacticielles	herbelin	2005-05-17
*	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin	2005-05-17
*	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin	2005-05-17
*	maj	coq	2005-05-16
*	maj	coq	2005-05-15
*	maj	coq	2005-05-15
*	Globalisation des Tactic Notation	herbelin	2005-05-15
*	Allow auto to have a parametric argument (wish #967)	herbelin	2005-05-15
*	Allow auto to have a parametric argument (wish #967)	herbelin	2005-05-15
*	maj	coq	2005-05-14
*	maj	coq	2005-05-13
*	maj	coq	2005-05-12
*	maj	coq	2005-05-11
*	maj	coq	2005-05-10
*	maj	coq	2005-05-09
*	possibilité d'écrire [foo\| ] au lieu de [foo\|idtac]	letouzey	2005-05-09
*	possibilité d'écrire [foo\| ] au lieu de [foo\|idtac]	letouzey	2005-05-09
*	maj	coq	2005-05-08
*	maj	coq	2005-05-07
*	maj	coq	2005-05-06
*	maj	coq	2005-05-05
*	Bug affichage graphe univers	herbelin	2005-05-05
*	Code v7 obsolete	herbelin	2005-05-05
*	MAJ commentaires et inversion du sens du graphe de contraintes pour extensibi...	herbelin	2005-05-05
*	maj	coq	2005-05-04
*	maj	coq	2005-05-03
*	Open Scope non Local malencontreux	herbelin	2005-05-03
*	maj	coq	2005-05-02
*	Finalement, préservation de la compatibilité pour Z_lt_induction et ajout p...	herbelin	2005-05-02
*	Lemme de passage de l'autre côté d'une égalité	herbelin	2005-05-02
*	Utilisation Z_scope	herbelin	2005-05-02
*	maj	coq	2005-05-01
*	maj	coq	2005-04-30
*	maj	coq	2005-04-29
*	Protection against saving a proof with still non-instantiated evars (cf bug #...	herbelin	2005-04-29
*	Protection against saving a proof with still non-instantiated evars (cf bug #...	herbelin	2005-04-29
*	Improved order of interpretation of atomic tactics (cf bug #952)	herbelin	2005-04-29
*	Fix bug in prepare_predicate_from_tycon; improved error message when no claus...	herbelin	2005-04-29
*	maj	coq	2005-04-28
*	maj	coq	2005-04-27
*	maj	coq	2005-04-26
*	Fixed hypotheses of Z_lt_induction (see #957)	herbelin	2005-04-26
*	maj	coq	2005-04-25
*	maj	coq	2005-04-24
*	maj	coq	2005-04-23
*	maj	coq	2005-04-22
*	maj	coq	2005-04-21