index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
unicode.ml
Commit message (
Expand
)
Author
Age
*
[unicode] Address comments in PR#314.
Emilio Jesus Gallego Arias
2017-02-15
*
[safe-string] Use `String.init` to build string.
Emilio Jesus Gallego Arias
2017-02-14
*
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
*
|
COMMENTS: added to the "Unicode" module.
Matej Kosik
2015-12-18
|
/
*
Extraction: no more ascii blob in type variables (fix #3227)
Pierre Letouzey
2015-01-11
*
Fixing bug #3541.
Pierre-Marie Pédrot
2014-08-28
*
Get rid of the uses of deprecated OCaml elements (still remaining compatible ...
xclerc
2013-09-19
*
* lib/Unicode:
regisgia
2013-09-02
*
More cleanup of Util: utf8 aspects moved to a new file unicode.ml
letouzey
2012-09-18