index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
Commit message (
Expand
)
Author
Age
*
[travis] extra test ci-bignums (+factorize other scripts)
Pierre Letouzey
2017-06-13
*
[travis] overlay + extra deps for math-classes (and formal-topology)
Pierre Letouzey
2017-06-13
*
[travis] adapt CoLoR compilation to depend on the bignum package
Pierre Letouzey
2017-06-13
*
Merge PR#764: Point ci-hott at a newer version of HoTT
Maxime Dénès
2017-06-13
|
\
*
\
Merge PR#715: Add coq-dpdgraph ci
Maxime Dénès
2017-06-12
|
\
\
*
\
\
Merge PR#718: API cleanup: aliases
Maxime Dénès
2017-06-12
|
\
\
\
*
|
|
|
Temporary overlay, waiting for upstream PR merges.
Maxime Dénès
2017-06-12
*
|
|
|
add overlays
Matej Košík
2017-06-12
|
|
|
*
Point ci-hott at a newer version of HoTT
Jason Gross
2017-06-11
|
|
_
|
/
|
/
|
|
|
*
|
Remove (useless) aliases from the API.
Matej Košík
2017-06-10
|
|
*
Mirror dpdgraph's travis test more accurately
Jason Gross
2017-06-08
|
|
*
Remove coq-dpdgraph overlay
Jason Gross
2017-06-08
*
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-06-08
|
\
\
\
|
|
/
/
|
/
|
|
*
|
|
Remove overlay.
Maxime Dénès
2017-06-08
*
|
|
add overlays
Matej Košík
2017-06-07
*
|
|
Put all plugins behind an "API".
Matej Kosik
2017-06-07
*
|
|
Overlay.
Maxime Dénès
2017-06-06
*
|
|
Remove some overlays.
Maxime Dénès
2017-06-06
*
|
|
Overlays.
Maxime Dénès
2017-06-06
*
|
|
Merge PR#723: [travis] [fiat] Test also fiat-core.
Maxime Dénès
2017-06-06
|
\
\
\
*
\
\
\
Merge PR#590: A more explicit algebraic type for evars of kind MatchingVar + ...
Maxime Dénès
2017-06-05
|
\
\
\
\
|
|
|
|
*
Add an overlay for coq-dpdgraph for 8.7
Jason Gross
2017-06-02
|
|
|
|
*
Add coq-dpdgraph CI
Jason Gross
2017-06-02
|
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
[travis] [fiat] Test also fiat-core.
Emilio Jesus Gallego Arias
2017-06-02
|
|
/
/
|
/
|
|
*
|
|
Merge PR#696: Trunk+cleanup constr of global
Maxime Dénès
2017-06-01
|
\
\
\
|
|
*
|
Adding overlay for math-comp.
Hugo Herbelin
2017-05-31
*
|
|
|
Creating a module Nameops.Name extending module Names.Name.
Hugo Herbelin
2017-05-31
|
|
/
/
|
/
|
|
*
|
|
Merge PR#687: Gitlab CI
Maxime Dénès
2017-05-29
|
\
\
\
|
|
*
|
Cleanup: removal of constr_of_global.
Matthieu Sozeau
2017-05-29
|
|
/
/
|
/
|
|
*
|
|
Merge PR#512: [cleanup] Unify all calls to the error function.
Maxime Dénès
2017-05-29
|
\
\
\
|
|
*
|
Gitlab CI
Gaëtan Gilbert
2017-05-28
|
*
|
|
[cleanup] Unify all calls to the error function.
Emilio Jesus Gallego Arias
2017-05-27
|
|
/
/
*
/
/
[coqlib] Move `Coqlib` to `library/`.
Emilio Jesus Gallego Arias
2017-05-27
|
/
/
*
|
[travis] temporary UniMath overlay
Maxime Dénès
2017-05-27
*
|
Merge PR#637: Short cleaning of the interpretation path for constr_with_bindings
Maxime Dénès
2017-05-25
|
\
\
*
\
\
Merge PR#481: [option] Remove support for non-synchronous options.
Maxime Dénès
2017-05-25
|
\
\
\
*
\
\
\
Merge PR#406: coq makefile2
Maxime Dénès
2017-05-25
|
\
\
\
\
*
|
|
|
|
[location] [travis] Add overlays for located_switch
Emilio Jesus Gallego Arias
2017-05-25
*
|
|
|
|
Merge branch 'trunk' into located_switch
Emilio Jesus Gallego Arias
2017-05-24
|
\
\
\
\
\
|
|
|
*
|
|
[option] Remove support for non-synchronous options.
Emilio Jesus Gallego Arias
2017-05-24
|
|
|
|
|
*
Add parsers-examples target to fiat-parsers ci
Jason Gross
2017-05-23
|
|
*
|
|
|
overlay for UniMath
Enrico Tassi
2017-05-23
|
|
|
/
/
/
|
*
/
/
/
[vernac] Remove `Save thm id.` command.
Emilio Jesus Gallego Arias
2017-05-23
|
|
/
/
/
|
|
*
/
Clarifying the interpretation path for the "constr_with_binding" argument.
Hugo Herbelin
2017-05-22
|
|
/
/
|
*
|
Fix a typo
Jason Gross
2017-05-18
|
*
|
Merge PR#633: An extension of EXTEND and notations to make standard parsing t...
Maxime Dénès
2017-05-17
|
|
\
\
|
*
\
\
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-05-17
|
|
\
\
\
|
|
|
|
/
|
|
|
/
|
|
|
|
*
Adding support for using grammar entries returning no value in EXTEND.
Hugo Herbelin
2017-05-16
|
|
|
/
|
|
/
|
|
|
*
Switch bedrock to mit-plv base
Jason Gross
2017-05-10
|
*
|
Fix warnings in top_printers
Gaetan Gilbert
2017-05-08
[next]