aboutsummaryrefslogtreecommitdiff
path: root/lib/unicode.mli
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-09-13Adding a function to escape strings with non-utf8 characters.Hugo Herbelin
2017-07-04Bump year in headers.Pierre-Marie Pédrot
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
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-12-18COMMENTS: added to the "Unicode" module.Matej Kosik
2015-01-12Update headers.Maxime Dénès
2015-01-11Extraction: no more ascii blob in type variables (fix #3227)Pierre Letouzey
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 06:39:03 +0000