coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Heavy modifications on the widget and edition tab creation mechanism.	vgross	2009-03-02
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Document how FIND_VCS_CLAUSE has to be used	lmamane	2009-02-11
*	clean: revision is now called config/revision.ml	lmamane	2009-02-11
*	Convert all uses of FIND_VCS_CLAUSE to recommended style	lmamane	2009-02-11
*	Suite de la révision #11756	notin	2009-01-07
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey	2008-12-16
*	do not install coqchk cmi files	barras	2008-12-11
*	Commit fixes from v8.2 branch (r11386 and r11387)	glondu	2008-09-07
*	Generalize usage of $(FIND_VCS_CLAUSE) and add debian to it	glondu	2008-09-07
*	Do not install csdpcert in $(BINDIR)	glondu	2008-09-07
*	More cleaning	glondu	2008-09-06
*	Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles	glondu	2008-09-06
*	Renaming parser -> coq-parser	glondu	2008-08-18
*	Évolutions diverses et variées.	herbelin	2008-08-04
*	Quelques amendements liées à la compilation des packages.	herbelin	2008-06-01
*	Should fix the dependancy issue mentioned by J.Forest about NMake:	letouzey	2008-05-22
*	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
*	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
*	Détection plus souple et message un peu moins radical en cas de	herbelin	2008-02-06
*	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
*	build system: When using GOTO_STAGE, always go into that stage, even when tar...	lmamane	2007-10-15
*	Allow a few build system optimisations/corner-cutting	lmamane	2007-10-11
*	Add glob.dump to Makefile the recommended way and document the	lmamane	2007-07-25
*	Modifications de la construction de la documentation de la librairie	notin	2007-07-25
*	Cleanly refuse to operate in the presence of unsaved changes in emacs	lmamane	2007-07-18
*	Do not try to clean the doc when no config/Makefile	lmamane	2007-07-16
*	Reorganise cleaning targets	lmamane	2007-07-16
*	A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem	lmamane	2007-07-16
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13
*	(Port of r9984) Easier debugging:	glondu	2007-07-12
*	Forgot to commit new Makefile	msozeau	2007-07-12
*	Petites corrections sur le Makefile	notin	2007-07-09
*	Missing include path of ocaml .h when generating deps	msozeau	2007-07-02
*	Added the directory theories/Numbers where axiomatizations and implementation...	emakarov	2007-06-29
*	Simplification de la construction du .depend:	notin	2007-06-21
*	Adding: Field instance for Q.	roconnor	2007-06-21
*	Correction du bug sur make depend	notin	2007-06-14
*	Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion...	msozeau	2007-06-09
*	Nouvelle stratégie d'unification des types des with-bindings dans	herbelin	2007-05-22
*	Added Z and Q implementations with int31.	aspiwack	2007-05-21
*	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack	2007-05-11
*	On n'a plus besoin de compiler les anciens fichiers de functionnal induction ...	jforest	2007-04-05
*	Modifications dans Makefile:	notin	2007-03-30
*	ajout contrib/dp/Dp.vo	filliatr	2007-03-20
*	Bug dans Makefile (COQINSTALLPREFIX)	notin	2007-03-14