coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[unicode] Address comments in PR#314.	Emilio Jesus Gallego Arias	2017-02-15
*	[safe-string] Use `String.init` to build string.	Emilio Jesus Gallego Arias	2017-02-14
*	Stopping warning on unrecognized unicode character in notation (fixing #5136).	Hugo Herbelin	2016-10-17
*	Moving UTF-8 related functions to Unicode module.	Pierre-Marie Pédrot	2016-06-14
*	Unicode.ascii_of_ident is now truly injective	Pierre Letouzey	2016-05-19
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-05
\|\
\| *	Fixing bug #4105: poor escaping in the protocol between CoqIDE and coqtop.	Pierre-Marie Pédrot	2016-03-03
* \|	COMMENTS: added to the "Unicode" module.	Matej Kosik	2015-12-18
\|/
*	Extraction: no more ascii blob in type variables (fix #3227)	Pierre Letouzey	2015-01-11
*	Fixing bug #3541.	Pierre-Marie Pédrot	2014-08-28
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	* lib/Unicode:	regisgia	2013-09-02
*	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey	2012-09-18