coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Intallation des .cma/.cmxa	notin	2007-10-18
*	Copie des .cma et des .cmxa, et de grammar.cma dans le répertoire de Coq (po...	notin	2007-10-18
*	Allow a few build system optimisations/corner-cutting	lmamane	2007-10-11
*	Calcul des dependances sous Windows	notin	2007-10-08
*	Correction du bug #1715	notin	2007-10-05
*	Ajout option -lablgtkdir au configure (basé sur patch de Guillaume	herbelin	2007-10-04
*	Compilation sous windows	notin	2007-10-03
*	Preventing gcc to generate dependencies wrt OCaml files (otherwise, we run in...	notin	2007-10-02
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	Makefile: Revert r10015, which was based on a misunderstanding	lmamane	2007-07-18
*	Makefile: needs GNU Make 3.81	lmamane	2007-07-18
*	Makefile: more robustness all around	lmamane	2007-07-18
*	Makefile: Do _not_ delete dummy .ml files of .ml4 files even when not needed ...	lmamane	2007-07-17
*	Makefile: -MG doesn't (and can't) do what is necessary	lmamane	2007-07-16
*	A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem	lmamane	2007-07-16
*	Oups... empty .ml4.d files produced	lmamane	2007-07-16
*	CAMLP4DEPS will not work for .byteml and .optml	lmamane	2007-07-16
*	Generalized CAMLP4USE for pp dependencies	corbinea	2007-07-16
*	Makefile: work around gcc bug: lhs of make rule created by -MM does not inclu...	lmamane	2007-07-16
*	Makefile: in C, .d files need to depend on the same as the .o file	lmamane	2007-07-16
*	makefile: dependencies of .c files: assume missing headers are generated files	lmamane	2007-07-16
*	Makefile: use CFLAGS for dependency generation of .c files	lmamane	2007-07-15
*	A emacs-specific comment to use makefile-mode on Makefile.*	letouzey	2007-07-13
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13