coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ocaml toplevel convenience.	glondu	2007-12-07
*	- Correction bug dans syntaxe des match (liste de motifs vide était acceptée)	herbelin	2007-08-22
*	Export de l'afficheur de substitutions de noms de modules pour le débogueur	herbelin	2007-01-19
*	PÃrÃ©ouverture de la plupart des fichis pour Ã©viter d'avoir Ã qualifier	herbelin	2006-05-23
*	Ajout printer Idset.t	herbelin	2006-01-29
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)	herbelin	2006-01-04
*	MAJ restructuration constrintern.ml	herbelin	2005-12-23
*	Ajout constant printer	herbelin	2005-02-18
*	Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...	herbelin	2005-01-02
*	Ajout printer bigint	herbelin	2004-12-29
*	Changement dans les boxed values .	gregoire	2004-11-12
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	Ajout translate	herbelin	2003-04-07
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	petits changements cosmetiques sur les tactiques	barras	2002-02-15
*	Parsing	herbelin	2001-08-10
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	Modification pour passage p-automates	mohring	2001-05-15
*	ajout d'un afficher de contexte et d'une fonction constbody_of_string	letouzey	2001-05-10
*	Make sure that the COQTOP variable is really used, when it is set.	bertot	2001-04-03
*	Printer	mohring	2000-12-15
*	Ajout de constr_of_string	mohring	2000-12-04
*	Prise en compte du renommage des fonctions de Astterm	herbelin	2000-04-17
*	Restructuration printer et parser	herbelin	2000-01-07
*	pretty-printers pour le debugger	filliatr	1999-12-14
*	renommage pour eviter pbm avec ocamldep (syntax error)	filliatr	1999-12-03