coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	- Débogueur: positionnement de set_detype_anonymous pour ne pas	herbelin	2007-08-29
*	- Correction bug dans syntaxe des match (liste de motifs vide était acceptée)	herbelin	2007-08-22
*	Add glob.dump to Makefile the recommended way and document the	lmamane	2007-07-25
*	Reorganise cleaning targets	lmamane	2007-07-16
*	A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem	lmamane	2007-07-16
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13
*	MAJ	herbelin	2007-05-21
*	Quelques exemples sur l'asymétrie de la conversion	herbelin	2007-04-29
*	Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.	herbelin	2007-04-28
*	- Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771	herbelin	2007-04-18
*	Rajout du mot Fix dans le printer	vsiles	2007-04-17
*	Retablissement de Fix dans print_pure_constr	vsiles	2007-04-17
*	Allègement de l'affichage des références par le printer si possible	herbelin	2007-01-22
*	Export de l'afficheur de substitutions de noms de modules pour le débogueur	herbelin	2007-01-19
*	MAJ	herbelin	2006-11-19
*	MAJ	herbelin	2006-10-30
*	Simplification ocamldebug (coq-debug-programs.out obsolète)	herbelin	2006-10-13
*	Reactivation des outils de developpement de Jacek	herbelin	2006-09-29
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Tout petit bug d'affichage dans constr_display (top_printers)	herbelin	2006-09-22
*	- Ajout d'un cast vm dans la syntaxe : x <: t	bgregoir	2006-07-22
*	MAJ fichier dev/doc/changes.txt	herbelin	2006-06-10
*	Fix broken paths.	msozeau	2006-05-29
*	Added contrib/funind to the path for ocamldebug-coq	courtieu	2006-05-26
*	Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTEND	herbelin	2006-05-23
*	Restructuration dossier dev et mise à jour de certaines documentations	herbelin	2006-05-23
*	PÃrÃ©ouverture de la plupart des fichis pour Ã©viter d'avoir Ã qualifier	herbelin	2006-05-23
*	Comments about profiling	herbelin	2006-05-11
*	Standardisation du nom des méthodes de Evd	herbelin	2006-04-28
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	Official MoWGLI definition of CIC dtd	herbelin	2006-04-27
*	Suppression de l'entrée devdoc dans le Makefile principal et modification en...	notin	2006-04-27
*	MAJ debugging (et arrêt support version française)	herbelin	2006-03-17
*	Deplacement du répertoire doc dans dev	notin	2006-03-06
*	Ajout ppenv	herbelin	2006-01-30
*	Plutôt pas de contraction des match dans le déboggueur	herbelin	2006-01-30
*	Ajout printer Idset.t	herbelin	2006-01-29
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Restauration des commandes de débogage PrintConstr et PrintPureConstr (suite...	herbelin	2006-01-04
*	Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)	herbelin	2006-01-04
*	Remise en place des commandes vernaculaires PrintConstr et PrintPureConstr (d...	herbelin	2006-01-04
*	MAJ	herbelin	2005-12-28
*	Analyse des tests automatiques de compilation des contributions	herbelin	2005-12-28
*	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
*	MAJ restructuration constrintern.ml	herbelin	2005-12-23
*	Changement des named_context	gregoire	2005-12-02
*	Added subtac contrib.	coq	2005-05-25
*	Ajout constant printer	herbelin	2005-02-18