coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Coq_makefile: bugfix in install rule	pboutill	2011-09-02
*	Coq_makefile : bug when a project file is not in the current directory.	pboutill	2011-09-01
*	Coq_makefile.absolute_dir -> Minilib.canonical_path_name	pboutill	2011-09-01
*	Creation of ide/project_file.ml4	pboutill	2011-09-01
*	reparation du make depend et du .depend	letouzey	2001-12-19
*	la cible all était incomplète	filliatr	2001-09-19
*	make install dans coq_makefile et repertoire associe user-contrib ajoute au l...	filliatr	2001-09-19
*	"make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTML	filliatr	2001-07-17
*	all.g.ps -> all-gal.ps	filliatr	2001-07-16
*	cibles all.ps et all-gal.ps (utilisation de coqweb)	filliatr	2001-07-16
*	Chgt de MAKE= ...	letouzey	2001-05-29
*	option -byte	filliatr	2001-05-28
*	application patch Claudio	filliatr	2001-05-11
*	patch Claudio pour coq_makefile	filliatr	2001-04-23
*	entetes	filliatr	2001-03-15
*	modifs mineures	filliatr	2001-02-08
*	backtrack sur le lexeur de la V6	filliatr	2001-01-30
*	numarg -> pure_numarg a poursuivre	mohring	2000-12-11
*	do_Makefile -> coq_makefile pour le bootstrap!	filliatr	2000-11-09
*	outils (manquent encore les deux filtres)	filliatr	1999-12-11