coq - The formal proof system

Age	Commit message (Expand)	Author
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-03-27	Coqdep: some dead code and code move (first experiment with Oug)	letouzey
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-16	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras
2009-03-16	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey
2009-03-14	Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups	letouzey
2009-03-14	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-11-23	- Synchronized subst_object with load_object (load_and_subst_objects)	herbelin
2008-06-24	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin
2008-06-21	Code cleanup in typeclasses, remove dead and duplicated code.	msozeau
2008-04-03	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin
2008-03-26	Bug dans la gestion des dépendances vers les .ml	notin
2008-03-26	Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...	notin
2008-03-25	Correction d'un bug dans la gestion des 'Declare ML Module'	notin
2008-03-19	Various improvements of coqdep, resulting in a big speedup	letouzey
2008-03-14	New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile	letouzey
2007-10-08	Calcul des dependances sous Windows	notin
2007-02-24	Améliorations utiles pour les Makefile répartis sur plusieurs répertoires	herbelin
2006-10-25	coqdep -slash	barras
2006-06-08	Warning ocaml 3.09 pour variable inutile	herbelin
2006-04-26	Prise en compte du Require multiple	herbelin
2006-03-17	Modification des propriétés (svn:executable)	notin
2005-06-21	coqdep connait maintenant user-contrib	filliatr
2004-07-16	Nouvelle en-tête	herbelin
2004-03-17	suppression du ./ devant (et .\ sous Windows)	filliatr
2004-03-15	identification ./f et f dans coqdep -sort	filliatr
2004-02-18	- fixed the Assert_failure error in kernel/modops	barras
2003-09-12	Message pour les erreurs	herbelin
2003-02-14	prise en compte des sous-repertoires Coq de maniere dynamique	filliatr
2002-12-04	mdule --> module	mohring
2002-10-15	commit du calcul des dependances un peu plus robuste	barras
2002-10-10	gestion coherente de l'option -R et des Require A.B.C.	barras
2001-08-31	prise en compte de Load par coqdep	filliatr
2001-07-16	compat -sort et -suffix	filliatr
2001-07-16	utilisation de printf (simplif)	filliatr
2001-04-20	support option -R pour coqdep	filliatr
2001-03-15	entetes	filliatr
2000-11-08	nouveau load path	filliatr
1999-12-11	outils (manquent encore les deux filtres)	filliatr