index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
derive
Age
Commit message (
Expand
)
Author
2016-07-03
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-06-08
Compilation via pack for plugins of the stdlib
Pierre Letouzey
2016-05-08
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-03-17
Removing the special status of generic entries defined by Coq itself.
Pierre-Marie Pédrot
2016-02-09
CLEANUP: Context.{Rel,Named}.Declaration.t
Matej Kosik
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2015-10-29
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-28
Avoid type checking private_constants (side_eff) again during Qed (#4357).
Enrico Tassi
2015-09-08
Opacifying the proof_terminator type.
Pierre-Marie Pédrot
2015-03-11
admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)
Enrico Tassi
2015-02-14
Fixing OCaml 3.12 compilation.
Pierre-Marie Pédrot
2015-02-14
Abstract: "Qed export ident, .., ident" to preserve v8.4 behavior
Enrico Tassi
2015-01-12
Update headers.
Maxime Dénès
2015-01-08
Avoiding introducing yet another convention in naming files.
Hugo Herbelin
