coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Allow custom targets without commands specified	pboutill	2011-07-22
*	Makefiles generated by coq_makefile can build %.cmx?a from %.mllib	pboutill	2011-07-11
*	coq_makefile logical path ending with '.' are correctly convert to physical path	pboutill	2011-07-07
*	coq_makefile bug fix 2405: cmxs are now made from cmx files	pboutill	2011-07-07
*	coq_makefile documentation in Refman and -h	pboutill	2011-07-07
*	coq_makefile doesn't complain anymore when a dir is both -I and -R	pboutill	2011-07-07
*	Typo.	gmelquio	2011-06-06
*	when -camlbin is explicitly given in configure, $OCAML* are $CAMLBIN/exec.	pboutill	2011-04-29
*	coq_makefile big cleanup	pboutill	2011-04-28
*	A kind of reply to bug 2444	pboutill	2011-04-08
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove dependency to Unix from module Profile	glondu	2010-07-02
*	Add unix.cma on camlp4 command-line in coq_makefile (Closes: #2326)	glondu	2010-06-03
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Report de la révision #12676	notin	2010-01-15
*	Correction du bug #2153 (-D n'est pas une option standard de install)	notin	2009-11-05
*	Add a new vernacular command for controling implicit generalization of	msozeau	2009-10-27
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin	2009-08-06
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	coq_makefile: -c and -shared conflict; tacinterp: delay evaluation of tactic ...	barras	2009-03-19
*	coq_makefile: no ml dependency on coq sources	barras	2009-03-18
*	- configure: affiche si le natdynlink est positionne	barras	2009-03-17
*	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras	2009-03-16
*	Amélioration de coq_makefile	notin	2009-02-24
*	From v8.2 to trunk:	herbelin	2009-02-06
*	Oups... il n'y a pas d'option -impl pour ocamldep	notin	2009-01-09
*	Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'	notin	2009-01-07
*	Added installation of .cmi files in "make install" target of coq_makefile.	herbelin	2009-01-04
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin	2008-12-12
*	- Synchronized subst_object with load_object (load_and_subst_objects)	herbelin	2008-11-23
*	Tentative d'amélioration de la robustesse des Makefile générés par	notin	2008-11-13
*	Suite #11533	notin	2008-11-07
*	Correction du bug #1926	notin	2008-11-07
*	Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...	notin	2008-11-06
*	2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...	notin	2008-11-04
*	Syntaxe de COQBIN	notin	2008-10-20
*	- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)	herbelin	2008-10-18
*	Affichage intempestif d'information de globalisation + numéro de version dan...	notin	2008-07-18
*	- coqdoc: correction d'un bug sur les commentaires imbriqués	notin	2008-07-17
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk	herbelin	2008-06-18
*	Prise en compte de l'export des .cmi dans coq_makefile	notin	2008-06-11
*	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin	2008-06-09
*	Correction d'un bug dans coq_makefile: génération des règles implicites en...	notin	2008-04-29
*	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin	2008-04-03
*	Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...	notin	2008-03-26