coq - The formal proof system

Age	Commit message (Expand)	Author
2014-03-28	Newline on -slash warning in coqdep.	Pierre-Marie Pédrot
2014-01-19	Using full paths in coqdep -dumpgraph.	Pierre-Marie Pédrot
2014-01-19	Fixing coqdep graph printing. The transitive reduction algorithm was bugged.	Pierre-Marie Pédrot
2014-01-16	Implementing transitive reduction in the dependency graph printing	Pierre-Marie Pédrot
2014-01-13	Declared ML Module are not uncapitalized/capitalized/uncapitalized/...	Pierre Boutillier
2014-01-06	Adding a -dumpgraph option to Coqdep that output the graph dependency of the	Pierre-Marie Pédrot
2013-12-20	Coqdep always uses / as dir_sep	Pierre Boutillier
2013-08-22	Misc changes around coqtop.ml :	letouzey
2013-04-18	Coqdep: add an -exclude-dir option (wish mentionned in #3025)	letouzey
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2012-04-12	lib directory is cut in 2 cma.	pboutill
2011-11-20	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill
2011-04-14	Add directories in COQPATH to search path.	herbelin
2011-04-14	Reorder search path order, so the standard library is search last.	herbelin
2011-04-08	Applying Tom Prince's patch to coqdep not correctly applying the -R visibility	herbelin
2011-04-03	Fix last commit about coqdep: not everyone has a user-contrib dir	letouzey
2011-04-01	Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...	gmelquio
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-10	Fixing various coqdep bugs (#2118, #2242, #2274)	herbelin
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