coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Corrections d'erreurs rapportées par Frédéric Besson sur le précédent	herbelin	2008-05-20
*	Intégration de micromega ("omicron" pour fourier et sa variante sur Z,	herbelin	2008-05-19
*	Fix caml debug flags configuration, -g works with the native compiler only	msozeau	2008-05-19
*	Fix a de Bruijn bug in setoid_rewrite when rewriting under	msozeau	2008-05-17
*	Integration of theories/Ints into theories/Numbers, again : better generation...	letouzey	2008-05-08
*	Integration of theories/Ints into theories/Numbers, part 3: auto-generation o...	letouzey	2008-05-08
*	Integration of theories/Ints into theories/Numbers, part 1: moving files	letouzey	2008-05-07
*	Calcul plus robuste du numéro de révision (ne marche en positionnant	herbelin	2008-04-29
*	Correction d'un bug dans coq_makefile: génération des règles implicites en...	notin	2008-04-29
*	reparation bug de compil introduit au precedent commit	jforest	2008-04-28
*	first-order --> firstorder (kills a warning about not being a valid id)	letouzey	2008-04-16
*	migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...	letouzey	2008-03-19
*	Various improvements of coqdep, resulting in a big speedup	letouzey	2008-03-19
*	Ajout cible programs comme synonyme de subtac	herbelin	2008-03-16
*	New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile	letouzey	2008-03-14
*	Coq_makefile: correction de l'appel aux exécutables Ocaml	notin	2008-02-28
*	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin	2008-02-14
*	Implement KEEP_ML4_PREPROCESSED option in build system	lmamane	2008-02-13
*	Implement NO_RECALC_DEPS option in build system	lmamane	2008-02-13
*	Amélioration de la génération des graphes de dépendances	notin	2008-01-11
*	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey	2007-12-13
*	Correction du bug #1741	notin	2007-11-12
*	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