coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing #3687 (inconsistent lexer state after a bullet).	Hugo Herbelin	2014-10-07
*	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Fixing parsing of bullets after a "...".	Hugo Herbelin	2014-08-12
*	Uncountably many bullets (+,-,,++,--,*,+++,...).	Hugo Herbelin	2014-08-05
*	empty token in terminal is a user error not an anomaly (bug 3118)	pboutill	2013-11-03
*	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