coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey	2012-09-18
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Fixing previous commit (something strange happened...)	ppedrot	2012-06-04
*	Replacing some str with strbrk	ppedrot	2012-06-04
*	Partial revert of r15148 in order to compile with Camlp4	pboutill	2012-04-27
*	Remove print call that do not use the pp mechanism	pboutill	2012-04-12
*	New fix for is_ident_not_keyword.	herbelin	2011-08-13
*	In coqtop, a terminating "." must now be followed by a blank or eof.	letouzey	2011-08-09
*	Be a bit less aggressive in declaring idents as keywords in notations	herbelin	2011-08-08
*	Made warning about ending comments in string less intrusive so as to support	herbelin	2011-04-08
*	About "unsupported" unicode characters in notations.	herbelin	2010-10-17
*	Backporting r13521 from branch 8.3 to trunk (fixing bug #2406, looping	herbelin	2010-10-11
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	Nicer representation of tokens, more independant of camlp*	letouzey	2010-05-19
*	static (and shared) camlp4use instead of per-file declaration	letouzey	2010-05-19
*	Missing warning flush in a lexer message + update of CHANGES	herbelin	2010-05-12
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Improving error messages in the presence of utf-8 characters	herbelin	2010-03-30
*	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey	2010-03-04
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Addition of "Reserved Infix" continued.	herbelin	2009-09-14
*	Miscellaneous practical commits:	herbelin	2009-06-29
*	Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dans	aspiwack	2009-05-27
*	- Cleaning (unification of ML names, removal of obsolete code,	herbelin	2009-04-27
*	Fixing #1960 (xml bug with external on goal variable) and #1961	herbelin	2009-01-14
*	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin	2008-11-22
*	allowed patternidents starting with an '_'	amahboub	2008-10-31
*	The lexer is changer to break former PATTERNIDENT into two tokens.	amahboub	2008-10-30
*	Autour du parsing:	herbelin	2008-07-15
*	Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical	herbelin	2008-06-06
*	Diverses corrections	herbelin	2008-04-14
*	Bugs, nettoyage, et améliorations diverses	herbelin	2008-04-13
*	Minor fixes:	msozeau	2008-04-05
*	Ajout de caractères unicode reconnus apr le lexer	notin	2008-02-18
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Creation of a new token PATTERNIDENT (?ident) for intro patterns, so	glondu	2007-09-28
*	Generalized CAMLP4USE for pp dependencies	corbinea	2007-07-16
*	Correction boucle du parseur en cas de caractÃère non unicode	herbelin	2006-11-20
*	Correction typo + ajout Arabic Supplement	herbelin	2006-07-05
*	Bug is_number	herbelin	2006-06-10
*	Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...	notin	2006-06-08
*	Oubli des symboles du Latin-1	herbelin	2006-05-11
*	Centralisation de la détection lettre/symbole par le lexeur dans les plages ...	herbelin	2006-05-10
*	Diverses corrections de l'afficheur et du traducteur pour s'assurer de	herbelin	2006-04-26