coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	A first pearl found by the Oug analyzer: there were two list_map_i in Util	letouzey	2009-04-08
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20
*	Timeout message was not always displayed	barras	2009-03-04
*	Heavy modifications on the widget and edition tab creation mechanism.	vgross	2009-03-02
*	Gestion des espaces dans les noms + guess_coqlib sous Windows	notin	2009-02-11
*	Fix d'un problème lors de l'appel à coqtop avec un chemin relatif	notin	2009-02-11
*	memoized is_ground_env	barras	2009-02-09
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Petit nettoyage faisant suite au commit #11847 .	aspiwack	2009-01-23
*	Util.split_at : for quadratic to linear complexity	letouzey	2009-01-22
*	Experimental file commited by mistake, sorry.	herbelin	2009-01-19
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	DISCLAIMER	puech	2009-01-17
*	Remove trailing newlines in outputs of X -where	glondu	2009-01-08
*	Made the debugger work again:	herbelin	2009-01-02
*	- Fixed bugs and compatibilities issues in	herbelin	2008-12-30
*	- Another bug in get_sort_family_of (sort-polymorphism of constants and	herbelin	2008-12-28
*	- 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
*	Add some unicode symbols from japanese CJC (request by Y. Regis-Gianas)	letouzey	2008-12-15
*	eventually fixing r11612	barras	2008-11-24
*	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin	2008-11-22
*	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin	2008-11-22
*	fixed problem with r11612	barras	2008-11-21
*	Better extraction renaming phase (fix #1914 plus other non-reported bugs)	letouzey	2008-11-05
*	Adaptation to ocaml 3.11 new semantics of String.index_from (see bug #1974)	herbelin	2008-11-04
*	- Fixed many "Theorem with" bugs.	herbelin	2008-10-27
*	Open notation for declaring record instances.	msozeau	2008-10-23
*	Affichage des notations récursives:	herbelin	2008-10-22
*	avoid small overflows	barras	2008-09-02
*	Évolutions diverses et variées.	herbelin	2008-08-04
*	Now, -browser option is effective (and compiles)	glondu	2008-07-27
*	(Partially) Revert previous commit because of FTBFS	glondu	2008-07-27
*	Add -browser option to configure script	glondu	2008-07-27
*	Suite commit 11236	notin	2008-07-24
*	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin	2008-07-18
*	Quelques modifications autour du filtrage Ltac:	herbelin	2008-07-16
*	Fixes in handling of implicit arguments:	msozeau	2008-07-04
*	Fichiers oubliés lors du 11188 :-(	herbelin	2008-06-30
*	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin	2008-06-25
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	- Correction de la version simplifiée (filtrage sur deux sig	herbelin	2008-06-09
*	- Documentation de admit et Print Assumptions.	herbelin	2008-06-09
*	- Extension de "generalize" en "generalize c as id at occs".	herbelin	2008-06-08
*	Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical	herbelin	2008-06-06
*	- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"	herbelin	2008-05-30
*	debug : case where length of s is < 2...	jnarboux	2008-05-28
*	debug subst_command_placeholder : replace %s and not only %	jnarboux	2008-05-26
*	Ajout de la possibilité d'utiliser fix/cofix dans les notations.	herbelin	2008-05-24
*	Various fixes:	msozeau	2008-05-15