coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	* parsing/Lexer: Cosmetics.	regisgia	2013-09-02
*	Added a more efficient way to recover the domain of a map.	ppedrot	2013-08-25
*	Use the Hook module here and there.	ppedrot	2013-05-12
*	Egramcoq+Lexer : no need for an init_function	letouzey	2013-04-23
*	Removing Exc_located and using the new exception enrichement	ppedrot	2013-02-18
*	Monomorphization (parsing)	ppedrot	2012-11-25
*	More monomorphizations	ppedrot	2012-11-13
*	still some more dead code removal	letouzey	2012-10-06
*	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