coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge with lmamane's private branch:	lmamane	2008-02-22
*	Merge from Lionel Elie Mamane's private branch:	lmamane	2007-01-10
*	Cleanning and factorizing code in funind. Spliting new_arg_principles into to...	jforest	2006-05-03
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	Nouvelle en-tête	herbelin	2004-07-16
*	Deplacement pr_subgoal and co vers Pfedit	herbelin	2003-10-13
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Suite de la suppression : enamed_declaration est remplace par evar_map.	clrenard	2001-11-06
*	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin	2001-10-11
*	entetes	filliatr	2001-03-15
*	Déplacement de qualid dans Nametab, hors du noyau	herbelin	2001-03-01
*	export a function that is needed in pcoq.	bertot	2001-02-13
*	exported several functions that are used in the graphical interface pcoq.	bertot	2001-02-09
*	export a function that can be used to retrieve the context corresponding	bertot	2001-02-08
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path. Abstract...	herbelin	2000-09-10
*	documentation interfaces	filliatr	1999-12-13
*	module Metasyntax	filliatr	1999-12-01
*	Vernacinterp et Vernacentries (partiellement)	filliatr	1999-11-24