aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/unicode.mli
Commit message (Expand)AuthorAge
* Stopping warning on unrecognized unicode character in notation (fixing #5136).Gravatar Hugo Herbelin2016-10-17
* Moving UTF-8 related functions to Unicode module.Gravatar Pierre-Marie Pédrot2016-06-14
* Unicode.ascii_of_ident is now truly injectiveGravatar Pierre Letouzey2016-05-19
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-05
|\
| * Fixing bug #4105: poor escaping in the protocol between CoqIDE and coqtop.Gravatar Pierre-Marie Pédrot2016-03-03
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | COMMENTS: added to the "Unicode" module.Gravatar Matej Kosik2015-12-18
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Extraction: no more ascii blob in type variables (fix #3227)Gravatar Pierre Letouzey2015-01-11
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18