coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	maj	coq	2005-04-21
*	Gestion du forall et envoie d'axiome à la procédure	coq	2005-04-21
*	maj	coq	2005-04-20
*	Implementation of a new backtracking system, that allow to go back	coq	2005-04-20
*	maj	coq	2005-04-19
*	maj	coq	2005-04-18
*	maj	coq	2005-04-17
*	maj	coq	2005-04-16
*	maj	coq	2005-04-15
*	maj	coq	2005-04-14
*	maj	coq	2005-04-13
*	maj	coq	2005-04-12
*	maj	coq	2005-04-11
*	maj	coq	2005-04-10
*	maj	coq	2005-04-09
*	maj	coq	2005-04-08
*	maj	coq	2005-04-07
*	maj	coq	2005-04-07
*	dp: traitement des definitions	coq	2005-04-07
*	maj	coq	2005-04-06
*	maj	coq	2005-04-05
*	Problemes de renommage regles	coq	2005-04-05
*	maj	coq	2005-04-04
*	maj	coq	2005-04-03
*	maj	coq	2005-04-02
*	maj	coq	2005-04-01
*	maj	coq	2005-03-31
*	Added option_map	herbelin	2005-03-31
*	maj	coq	2005-03-30
*	maj	coq	2005-03-29
*	Missing translating a 'O' into a '0' (again - cf bug #947); removed useless h...	herbelin	2005-03-29
*	Missing translating a 'O' into a '0' (again)	herbelin	2005-03-29
*	maj	coq	2005-03-28