coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove useless ppevd (which is identical to ppevm)	glondu	2009-11-13
*	Improved the treatment of Local/Global options (noneffective Local on	herbelin	2009-10-25
*	- Fixing declarative mode in presence of high use of Change_evars nodes	herbelin	2009-05-20
*	Execute #rectypes directive in embedded OCaml toplevel...	glondu	2008-11-19
*	Hint for Debian users.	glondu	2008-03-18
*	Add printer for Pp.std_ppcmds...	msozeau	2008-02-08
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	Ocaml toplevel convenience.	glondu	2007-12-07
*	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin	2007-10-03
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	unification encore...	barras	2004-09-08
*	prettyprint des constr_substituted + un wrapping de prglobal pour qu'il n'ech...	letouzey	2003-04-16
*	Ajout affichage fconstr	herbelin	2002-12-05
*	ajout d'un printer pour les global_reference	letouzey	2002-11-04
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	petits changements cosmetiques sur les tactiques	barras	2002-02-15
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	Ajout du printer de tactiques + modif du Dynamic ocaml	delahaye	2001-09-30
*	ajout d'un afficher de contexte et d'une fonction constbody_of_string	letouzey	2001-05-10
*	Restructuration printer et parser	herbelin	2000-01-07
*	Ajout pp pattern et rawterm	herbelin	1999-12-12
*	renommage pour eviter pbm avec ocamldep (syntax error)	filliatr	1999-12-03