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