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
* \|	Adding a function to escape strings with non-utf8 characters.	Hugo Herbelin	2017-09-13
\|/
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	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
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	COMMENTS: added to the "Unicode" module.	Matej Kosik	2015-12-18
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Extraction: no more ascii blob in type variables (fix #3227)	Pierre Letouzey	2015-01-11
*	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey	2012-09-18