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
*
Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...
Maxime Dénès
2018-01-08
|
\
|
*
Add instructions for debugging from the command line (and in Windows)
Jim Fehrle
2017-12-29
*
|
Merge PR #6493: [API] remove large file containing duplicate interfaces
Maxime Dénès
2017-12-29
|
\
\
*
\
\
Merge PR #6405: Remove the local polymorphic flag hack.
Maxime Dénès
2017-12-29
|
\
\
\
|
|
*
|
overlay for #6493
Enrico Tassi
2017-12-27
|
|
*
|
[API] remove large file containing duplicate interfaces
Enrico Tassi
2017-12-27
|
|
/
/
|
/
|
|
*
|
|
Merge PR #6102: Fix #5998: AppVeyor package building is currently failing
Maxime Dénès
2017-12-27
|
\
\
\
|
|
*
|
Add equations overlay.
Maxime Dénès
2017-12-27
|
|
/
/
|
/
|
|
|
*
|
Fix #5998: AppVeyor package building is currently failing
Maxime Dénès
2017-12-27
*
|
|
Merge PR #6507: [ide] [doc] Document tweak to Query call.
Maxime Dénès
2017-12-27
|
\
\
\
|
*
|
|
[ide] [doc] Document tweak to Query call.
Emilio Jesus Gallego Arias
2017-12-26
|
|
|
/
|
|
/
|
*
|
|
Fix overlay selection for Circle CI.
Gaëtan Gilbert
2017-12-26
*
|
|
Delete old overlays (leaving example)
Gaëtan Gilbert
2017-12-26
|
/
/
*
|
Merge PR #6318: Separate vernac controls and regular commands.
Maxime Dénès
2017-12-22
|
\
\
*
|
|
Fix CI with parallel make (messed up dependencies)
Gaëtan Gilbert
2017-12-21
|
*
|
Separate vernac controls and regular commands.
Maxime Dénès
2017-12-20
|
/
/
*
|
Merge PR #6400: Circle CI
Maxime Dénès
2017-12-19
|
\
\
*
\
\
Merge PR #6305: Build with windows line endings
Maxime Dénès
2017-12-18
|
\
\
\
*
\
\
\
Merge PR #6217: Do dependencies in 1 command per file class.
Maxime Dénès
2017-12-18
|
\
\
\
\
*
\
\
\
\
Merge PR #6419: [vernac] Split `command.ml` into separate files.
Maxime Dénès
2017-12-18
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.
Maxime Dénès
2017-12-18
|
\
\
\
\
\
\
|
|
*
|
|
|
|
[vernac] Split `command.ml` into separate files.
Emilio Jesus Gallego Arias
2017-12-17
|
|
/
/
/
/
/
|
|
|
*
|
|
Fix build file
Jim
2017-12-16
|
|
*
|
|
|
Overlay for unimath.
Gaëtan Gilbert
2017-12-15
*
|
|
|
|
|
Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml`
Maxime Dénès
2017-12-15
|
\
\
\
\
\
\
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
|
*
|
|
|
[econstr] Switch constrintern API to non-imperative style.
Emilio Jesus Gallego Arias
2017-12-15
|
|
/
/
/
/
*
|
|
|
|
Merge PR #6169: Clean up/deprecated options
Maxime Dénès
2017-12-14
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.
Maxime Dénès
2017-12-14
|
\
\
\
\
\
\
|
|
|
|
|
|
*
Put bignums, math-classes and corn dependencies in Makefile
Gaëtan Gilbert
2017-12-13
|
|
|
*
|
|
|
[econstr] Cleanup in `vernac/classes.ml`.
Emilio Jesus Gallego Arias
2017-12-13
|
|
|
|
|
/
/
|
|
|
|
/
|
|
*
|
|
/
|
|
Revert "[ci] Temporal workaround for checker non-backwards compatible change."
Théo Zimmermann
2017-12-12
|
|
_
|
/
/
/
|
/
|
|
|
|
*
|
|
|
|
Merge PR #6331: Linter: skip PRs older than the linter.
Maxime Dénès
2017-12-11
|
\
\
\
\
\
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
|
*
|
Add overlay.
Théo Zimmermann
2017-12-11
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
Merge PR #6368: [api] Remove yet another type alias.
Maxime Dénès
2017-12-11
|
\
\
\
\
*
\
\
\
\
Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.
Maxime Dénès
2017-12-11
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir.
Maxime Dénès
2017-12-11
|
\
\
\
\
\
\
*
\
\
\
\
\
\
Merge PR #6351: Fix a copy-paste error in ci-ltac2.
Maxime Dénès
2017-12-11
|
\
\
\
\
\
\
\
*
\
\
\
\
\
\
\
Merge PR #6346: [ci] CoLoR has moved to github
Maxime Dénès
2017-12-11
|
\
\
\
\
\
\
\
\
|
|
|
|
|
|
|
*
|
[build] Remove coqmktop in favor of ocamlfind.
Emilio Jesus Gallego Arias
2017-12-10
*
|
|
|
|
|
|
|
|
[ci] Temporal workaround for checker non-backwards compatible change.
Emilio Jesus Gallego Arias
2017-12-10
|
|
|
|
|
*
|
|
|
[api] Remove yet another type alias.
Emilio Jesus Gallego Arias
2017-12-09
|
|
_
|
_
|
_
|
/
/
/
/
|
/
|
|
|
|
|
|
|
|
|
|
|
|
|
*
|
[lib] Rename Profile to CProfile
Emilio Jesus Gallego Arias
2017-12-09
|
|
_
|
_
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
|
|
*
|
|
|
[ci] Download ci-sf archives into the proper CI build dir.
Emilio Jesus Gallego Arias
2017-12-09
|
|
_
|
/
/
/
/
|
/
|
|
|
|
|
|
|
*
|
|
|
Fix a copy-paste error in ci-ltac2.
Théo Zimmermann
2017-12-08
*
|
|
|
|
|
Merge PR #6158: Allows a level in the raw and glob printers
Maxime Dénès
2017-12-08
|
\
\
\
\
\
\
|
|
*
|
|
|
|
[ci] CoLoR has moved to github
Emilio Jesus Gallego Arias
2017-12-07
*
|
|
|
|
|
|
Merge PR #6267: Fix PR merge script.
Maxime Dénès
2017-12-07
|
\
\
\
\
\
\
\
|
|
_
|
/
/
/
/
/
|
/
|
|
|
|
|
|
|
|
|
|
*
|
|
Overlay for Equations.
Gaëtan Gilbert
2017-12-06
|
|
_
|
_
|
/
/
/
|
/
|
|
|
|
|
|
|
|
|
*
|
Linter: skip PRs older than the linter.
Gaëtan Gilbert
2017-12-06
|
|
_
|
_
|
/
/
|
/
|
|
|
|
*
|
|
|
|
uninstall doc dir, not dev (which is not installed), #6007
Paul Steckler
2017-12-01
[next]