aboutsummaryrefslogtreecommitdiff
path: root/lib/unicode.ml
AgeCommit message (Expand)Author
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-10-06Merge PR #1119: Fixing bug BZ#5769 (generating a name "_" out of a type "_som...Maxime Dénès
2017-10-05Fixing BZ#5769 (variable of type "_something" was named after invalid "_").Hugo Herbelin
2017-10-05Distinguishing pseudo-letters out of the set of unicode letters.Hugo Herbelin
2017-10-05Fixing typos in comments of unicode.ml.Hugo Herbelin
2017-09-13Complying more precisely to unicode standard.Hugo Herbelin
2017-09-13Adding a function to escape strings with non-utf8 characters.Hugo Herbelin
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 12:56:14 +0000