coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle en-tête	herbelin	2004-07-16
*	export the general function for getting information from the environment	bertot	2004-02-16
*	Suppression SearchNamed finalement redondant avec SearchAbout	herbelin	2003-11-10
*	Independance de grammar.cmo vis a vis de Search	herbelin	2003-10-23
*	Integration de SearchNamed dans SearchAbout	herbelin	2003-10-22
*	Ajout d'une fonction de recherche sur les composantes du nom des objets	herbelin	2003-10-13
*	Ajout d'une fonction de recherche sur les composantes du nom des objets	herbelin	2003-10-13
*	I changed the interface to make sure SearchAbout is defined according to	bertot	2003-01-22
*	SearchAbout	filliatr	2003-01-06
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	GROS COMMIT:	barras	2001-11-05
*	The function filter_by_module, that was previously exported was not the	bertot	2001-04-03
*	entetes	filliatr	2001-03-15
*	exported a few functions that are used in graphical interface pcoq.	bertot	2001-02-09
*	Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewrite	herbelin	2000-12-16
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	SearchPattern et SearchRewrite	filliatr	2000-11-24