coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #1119: Fixing bug BZ#5769 (generating a name "_" out of a type "_som...	Maxime Dénès	2017-10-06
\|\
\| *	Fixing BZ#5769 (variable of type "_something" was named after invalid "_").	Hugo Herbelin	2017-10-05
\| *	Distinguishing pseudo-letters out of the set of unicode letters.	Hugo Herbelin	2017-10-05
\| *	Fixing typos in comments of unicode.ml.	Hugo Herbelin	2017-10-05
* \|	Complying more precisely to unicode standard.	Hugo Herbelin	2017-09-13
* \|	Adding a function to escape strings with non-utf8 characters.	Hugo Herbelin	2017-09-13
\|/
*	[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