index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
cArray.mli
Age
Commit message (
Expand
)
Author
2017-12-23
[lib] Split auxiliary libraries into Coq-specific and general.
Emilio Jesus Gallego Arias
2017-08-29
Canonically renaming fold_map into fold_left_map in library Array.
Hugo Herbelin
2015-02-24
New function [Constr.equal_with] to compare terms up to variants of [kind_of_...
Arnaud Spiwack
2014-10-05
A few improvements on pattern-matching compilation.
Hugo Herbelin
2014-08-25
"allows to", like "allowing to", is improper
Jason Gross
2014-03-02
Set officially the minimal OCaml requirement to 3.12.1
Pierre Letouzey
2014-02-09
Small optimizations in Closure:
Pierre-Marie Pédrot
2013-11-04
Adding closure-preventing functions in CArray. These functions are all
ppedrot
2013-10-23
Small optimizations in unification.
ppedrot
2013-10-22
More efficient operations in CArray.
ppedrot
2013-03-05
Missing primitive in CArray
ppedrot
2012-12-19
Array.create is deprecated
pboutill
2012-09-25
Fixing ocamldoc errors
ppedrot
2012-09-18
More cleaning in CArray...
ppedrot
2012-09-14
As r15801: putting everything from Util.array_* to CArray.*.
ppedrot
