index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
clib
Commit message (
Expand
)
Author
Age
*
Further sharing in CList.
Hugo Herbelin
2018-06-03
*
Cleaning, documentation, uniformisation of the Coq extension of List.
Hugo Herbelin
2018-06-03
*
[lib] Fix wrong deprecation annotations.
Emilio Jesus Gallego Arias
2018-06-03
*
Collecting Map.smart_* functions into a module Map.Smart.
Hugo Herbelin
2018-05-23
*
Moving Option.smart_map to Option.Smart.map.
Hugo Herbelin
2018-05-23
*
Collecting List.smart_* functions into a module List.Smart.
Hugo Herbelin
2018-05-23
*
Exporting Fun1 within Array so that Array.Fun1 and not only CArray.Fun1 works.
Hugo Herbelin
2018-05-23
*
Collecting Array.smart_* functions into a module Array.Smart.
Hugo Herbelin
2018-05-23
*
Emphasizing the "smart"ness of Array.smartfoldmap{,2} in their documentation.
Hugo Herbelin
2018-05-23
*
CArray: adding combinators.
Hugo Herbelin
2018-05-23
*
Merge PR #6972: [api] Deprecate a couple of aliases that we missed.
Maxime Dénès
2018-04-12
|
\
*
|
Adding Array.fold_left4.
Hugo Herbelin
2018-03-28
|
*
[api] Deprecate a couple of aliases that we missed.
Emilio Jesus Gallego Arias
2018-03-28
|
/
*
Delayed weak constraints for cumulative inductive types.
Gaëtan Gilbert
2018-03-09
*
Add function bind in option.ml.
Hugo Herbelin
2018-03-08
*
Tweak comments to fix ocamldoc errors
mrmr1993
2018-03-05
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
When printing a notation with "match", more flexibility in matching equations.
Hugo Herbelin
2018-02-20
*
In printing notations with "match", reasoning up to the order of clauses.
Hugo Herbelin
2018-02-20
*
Adding skewed lists.
Pierre-Marie Pédrot
2017-12-29
*
[lib] Split auxiliary libraries into Coq-specific and general.
Emilio Jesus Gallego Arias
2017-12-23
Hugo Herbelin
Emilio Jesus Gallego Arias
Maxime Dénès
Gaëtan Gilbert
mrmr1993
Théo Zimmermann
Pierre-Marie Pédrot