coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correction du bug 335 et Export/Require Export dans un module	coq	2003-10-07
*	Bug init_function	herbelin	2003-04-09
*	* empty log message *	barras	2003-03-12
*	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
*	compat ocaml 3.03	filliatr	2001-12-13
*	Re-installation de l'affichage des globaux par des noms courts	herbelin	2001-11-19
*	GROS COMMIT:	barras	2001-11-05
*	Reorganisation de Goption. Passage des options l'utilisant en synchrone	letouzey	2001-10-30
*	Patch de goption.ml pour faire marcher les options synchrones. Passage des op...	letouzey	2001-10-24
*	Réparation des options Set Printing and co	herbelin	2001-09-21
*	entetes	filliatr	2001-03-15
*	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr	2000-11-24
*	print_id, print_sp -> pr_id, pr_sp	herbelin	2000-11-23
*	methode export	filliatr	2000-11-15
*	Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...	herbelin	2000-11-10
*	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path	herbelin	2000-09-10
*	- méthode load sur les Hints	filliatr	1999-12-13
*	add_leaf -> application methode cache	filliatr	1999-12-05
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	module Goptions (etait Options)	filliatr	1999-11-26