coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	2-3 petites modifs pour la compilation sous Windows...	notin	2008-06-06
*	Copie des .cmi en plus des .cma et des .cmxa	notin	2008-06-06
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	Petites corrections diverses :	herbelin	2008-06-02
*	Quelques amendements liées à la compilation des packages.	herbelin	2008-06-01
*	Fix last commit about revision: I'm unsure about the role of "set -e",	letouzey	2008-05-31
*	Attempt to avoid killing+recreating the file revision with same content.	letouzey	2008-05-31
*	the -g option is not recongnized in ocaml < 3.10.0	jforest	2008-05-26
*	fixed dependency problems with the checker	barras	2008-05-22
*	improved coqchk targets	barras	2008-05-22
*	added coqchk to the main Makefile and a make variable VALIDATE to check the v...	barras	2008-05-22
*	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