Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | 2013-09-19 | |
* | * lib/Unicode: | 2013-09-02 | |
* | More cleanup of Util: utf8 aspects moved to a new file unicode.ml | 2012-09-18 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | 2013-09-19 | |
* | * lib/Unicode: | 2013-09-02 | |
* | More cleanup of Util: utf8 aspects moved to a new file unicode.ml | 2012-09-18 |