coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Suppression de la dépendance en Map.fold de ocaml dont la sémantique a	herbelin	2006-01-24
*	Messages de idtac et fail peuvent maintenant être des listes de string, int ...	herbelin	2006-01-21
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin	2005-12-26
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	Changement des named_context	gregoire	2005-12-02
*	Types inductifs parametriques	mohring	2005-11-02
*	Adoption du nom canonique global_of_constr pour éviter confusion avec type r...	herbelin	2005-05-20
*	Standardisation of function names about global references (especially, renami...	herbelin	2005-02-18
*	Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changed	sacerdot	2005-01-14
*	Déplacement de 'project' dans Refiner pour supprimer des dépendances en Tac...	herbelin	2005-01-01
*	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot	2004-11-16
*	firstorder bugfix to cope with elim of sigma types with goal is of the wrong ...	corbinea	2004-09-27
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	hiding the meta_map in evar_defs	barras	2004-09-15
*	Nouvelle en-tête	herbelin	2004-07-16
*	Ooops ! bug in firstorder fixed (let's hope no one noticed)	corbinea	2004-03-11
*	correction de bugs de congruence et firstorder (inductifs)	corbinea	2004-02-06
*	Retablissement de GIntuition juste pour FSets	herbelin	2003-12-23
*	* empty log message *	barras	2003-12-23
*	ground->firstorder, cc-> congruence, CC final commit	corbinea	2003-11-29
*	factorisation et generalisation des clauses	barras	2003-11-13
*	Traduction semantique des InHyp de clause en InHypValue si local def	herbelin	2003-11-09
*	Ground update changing left-arrow-arrow rule.	corbinea	2003-10-13
*	Changement de l'afficheur pour que les variables liées aient un nom indépen...	herbelin	2003-09-23
*	Passage à la V8 par défaut	herbelin	2003-09-22
*	Ground bugfix	corbinea	2003-07-11
*	Ground update	corbinea	2003-07-08
*	Ground bugfix	corbinea	2003-07-04
*	switching back to old tauto	corbinea	2003-07-03
*	modification ground	corbinea	2003-07-03
*	addition of Auto hints in Ground	corbinea	2003-07-03
*	added hints into Ground	corbinea	2003-07-02
*	Ground update	corbinea	2003-06-22
*	Ground update	corbinea	2003-06-20
*	Ground Update.	corbinea	2003-06-20
*	Ground update	corbinea	2003-06-16
*	ground update	corbinea	2003-06-16
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	ground update	corbinea	2003-06-14
*	Major Ground update, may break semantics	corbinea	2003-06-14
*	Ground update	corbinea	2003-06-13
*	Ground update, new files.	corbinea	2003-06-13
*	Ground update.	corbinea	2003-06-13
*	Réinstallation d'un afficheur de niveau d'imbrication pour le déboggueur de...	herbelin	2003-06-10
*	bugfix for Ground ( merci JC )	corbinea	2003-06-04
*	Ground update + some bugfix	corbinea	2003-06-04
*	Ground daily update	corbinea	2003-05-29
*	GIntuition now matches Intuition up to hyps renaming.	corbinea	2003-05-26
*	Added breakpoint in Ground tactic.	corbinea	2003-05-26