coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to	msozeau	2008-05-12
*	Correction bug #1842 + correction bug initialisation introduit dans	herbelin	2008-05-10
*	- Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des	herbelin	2008-05-10
*	Suite 10904 (fichiers oubliés)	herbelin	2008-05-08
*	Prise en compte des coercions dans les clauses "with" même si le type	herbelin	2008-04-23
*	Added a function that escapes XML characters in ppcmds.	cek	2008-04-16
*	Diverses corrections	herbelin	2008-04-14
*	Bugs, nettoyage, et améliorations diverses	herbelin	2008-04-13
*	Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient	herbelin	2008-04-01
*	improved the implementation of rtree	barras	2008-03-18
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10690 85f007b7-540e-0...	barras	2008-03-18
*	Merge with lmamane's private branch:	lmamane	2008-02-22
*	Add list_iter3	msozeau	2008-01-30
*	Fix backtracking bugs:	lmamane	2008-01-15
*	implements a better way to respect the Unix convention that processes receive...	bertot	2008-01-11
*	Correction bug #1749 (datant de l'implantation des or-patterns) +	herbelin	2008-01-05
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	Petite correction de Option.default (default faisait un Option.map	aspiwack	2007-12-14
*	Util.option_compare devient Option.Misc.Compare et change un peu de type	aspiwack	2007-12-07
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Commit intermédiaire express de réparation de coqide.ml, que j'avais	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	Enlevé les trucs commités au mauvais endroit	aspiwack	2007-10-23
*	Quelques structures de donnée plus les modules principaux (et	aspiwack	2007-10-23
*	Added "is_empty" to gmap.	aspiwack	2007-10-23
*	Repair Haskell/Scheme extraction in the new extraction backend design:	letouzey	2007-10-17
*	Correction de quelques défauts d'affichage (notations sous "as" pour	herbelin	2007-10-05
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	Utilisation d'un nouvel algorithme plus raffiné pour prendre en compte les	herbelin	2007-09-04