index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
clib
/
cList.mli
Age
Commit message (
Expand
)
Author
2020-12-11
Fast path in tclPROGRESS.
Pierre-Marie Pédrot
2020-05-15
Search: Displaying the "use About" notice only when really needed.
Hugo Herbelin
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-11-21
[coq] Untabify the whole ML codebase.
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-03-14
Add relevance marks on binders.
Gaëtan Gilbert
2018-10-06
[api] Remove (most) 8.9 deprecated objects.
Emilio Jesus Gallego Arias
2018-09-03
[doc] Build ML API documentation artifact.
Emilio Jesus Gallego Arias
2018-08-27
Add support for focusing on named goals using brackets.
Théo Zimmermann
2018-06-22
Define and use UGraph.enforce_leq_alg for subtyping inference
Gaëtan Gilbert
2018-06-10
[lib] Fix wrong deprecation comment.
Emilio Jesus Gallego Arias
2018-06-03
Cleaning, documentation, uniformisation of the Coq extension of List.
Hugo Herbelin
2018-05-23
Collecting List.smart_* functions into a module List.Smart.
Hugo Herbelin
2018-03-28
[api] Deprecate a couple of aliases that we missed.
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2018-02-20
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
2017-12-23
[lib] Split auxiliary libraries into Coq-specific and general.
Emilio Jesus Gallego Arias
