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 #6950: pre-commit, linter: verify user overlay extensions (must be sh)
Emilio Jesus Gallego Arias
2018-03-31
|
\
|
*
Linter: verify overlay extensions.
Gaëtan Gilbert
2018-03-31
|
*
pre-commit: verify user overlay extensions (must be .sh).
Gaëtan Gilbert
2018-03-31
*
|
Remove outdated patch from ci-sf
Jasper Hugunin
2018-03-29
|
/
*
Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...
Maxime Dénès
2018-03-26
|
\
*
\
Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer.
Enrico Tassi
2018-03-26
|
\
\
*
\
\
Merge PR #7029: improve merge-pr script
Maxime Dénès
2018-03-23
|
\
\
\
|
*
|
|
improve merge-pr script
Enrico Tassi
2018-03-23
*
|
|
|
More precise wording about the merge process.
Maxime Dénès
2018-03-23
*
|
|
|
Refine a bit the decentralized merging process.
Maxime Dénès
2018-03-21
|
/
/
/
*
|
|
Describe new merging process.
Maxime Dénès
2018-03-19
*
|
|
[win] update bignums to tag V8.8+beta1
Enrico Tassi
2018-03-15
|
*
|
[vernac] Move `Quit` and `Drop` to the toplevel layer.
Emilio Jesus Gallego Arias
2018-03-11
|
/
/
*
|
[ssreflect] Fix module scoping problems due to packing and mli files.
Emilio Jesus Gallego Arias
2018-03-10
*
|
[located] Push inner locations in `reference` to a CAst.t node.
Emilio Jesus Gallego Arias
2018-03-09
*
|
[located] More work towards using CAst.t
Emilio Jesus Gallego Arias
2018-03-09
*
|
Merge PR #6775: Allow using cumulativity without forcing strict constraints.
Maxime Dénès
2018-03-09
|
\
\
|
*
|
Overlay for Elpi.
Gaëtan Gilbert
2018-03-09
*
|
|
Add an overlay for Equations and Ltac2.
Pierre-Marie Pédrot
2018-03-09
|
/
/
*
|
Merge PR #6817: [configure]: support for profiles
Maxime Dénès
2018-03-08
|
\
\
*
\
\
Merge PR #6881: [windows] support -addon in build script
Maxime Dénès
2018-03-08
|
\
\
\
|
|
*
|
document -profile in dev/doc/setup.txt
Enrico Tassi
2018-03-06
*
|
|
|
Standard headers for C and Python.
Maxime Dénès
2018-03-06
|
*
|
|
Hack to make bignum build on windows
Enrico Tassi
2018-03-06
|
*
|
|
build: win: turn off build/installation of gnu Make
Enrico Tassi
2018-03-06
*
|
|
|
Merge PR #6855: Update headers following #6543.
Maxime Dénès
2018-03-05
|
\
\
\
\
*
\
\
\
\
Merge PR #935: Handling evars in the VM
Maxime Dénès
2018-03-04
|
\
\
\
\
\
|
|
_
|
_
|
/
/
|
/
|
|
|
|
*
|
|
|
|
Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.
Maxime Dénès
2018-03-04
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #6876: Unify Const_sorts and Const_type, and remove Vsort
Maxime Dénès
2018-03-04
|
\
\
\
\
\
\
*
\
\
\
\
\
\
Merge PR #6873: [toplevel] Update state when `Drop` exception is thrown [#6872]
Maxime Dénès
2018-03-04
|
\
\
\
\
\
\
\
*
\
\
\
\
\
\
\
Merge PR #6676: [proofview] goals come with a state
Maxime Dénès
2018-03-04
|
\
\
\
\
\
\
\
\
|
|
|
|
|
*
|
|
|
Handling evars in the VM.
Pierre-Marie Pédrot
2018-03-03
|
|
_
|
_
|
_
|
/
/
/
/
|
/
|
|
|
|
|
|
|
|
|
|
*
|
|
|
|
[VM] Unify Const_sorts and Const_type, and remove Vsort.
Maxime Dénès
2018-03-02
|
|
_
|
/
/
/
/
/
|
/
|
|
|
|
|
|
|
|
|
|
|
*
|
installer: win: put addons in a separate package
Enrico Tassi
2018-03-02
|
|
|
|
|
*
|
build: win: detect 404 as HTML files
Enrico Tassi
2018-03-02
|
|
|
|
|
*
|
build: win: addon bignums
Enrico Tassi
2018-03-02
|
|
|
|
|
*
|
build: win: support for addons
Enrico Tassi
2018-03-02
|
|
*
|
|
|
|
[toplevel] Update state when `Drop` exception is thrown [#6872]
Emilio Jesus Gallego Arias
2018-02-28
|
|
/
/
/
/
/
|
/
|
|
|
|
|
|
|
*
|
|
|
[econstr] Continue consolidation of EConstr API under `interp`.
Emilio Jesus Gallego Arias
2018-02-28
|
|
/
/
/
/
|
/
|
|
|
|
*
|
|
|
|
Merge PR #6789: Check whitespace errors per-commit.
Maxime Dénès
2018-02-28
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #6812: Rename release_lexer_state to the more descriptive get_lexer_...
Maxime Dénès
2018-02-28
|
\
\
\
\
\
\
|
|
_
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
|
|
*
|
Update headers following #6543.
Théo Zimmermann
2018-02-27
|
|
_
|
_
|
/
/
|
/
|
|
|
|
*
|
|
|
|
Merge PR #6543: Update headers and credits
Maxime Dénès
2018-02-24
|
\
\
\
\
\
*
\
\
\
\
\
Merge PR #6803: coqdev.el: add space at the end of compile-command
Maxime Dénès
2018-02-24
|
\
\
\
\
\
\
|
|
|
|
*
|
|
Check whitespace errors per-commit.
Gaëtan Gilbert
2018-02-23
|
|
|
*
|
|
|
Tweak developer documentation.
Jim Fehrle
2018-02-22
|
|
|
|
/
/
/
*
|
|
|
|
|
[ast] Improve precision of Ast location recognition in serialization.
Emilio Jesus Gallego Arias
2018-02-22
*
|
|
|
|
|
Merge PR #6767: [ci] add elpi
Maxime Dénès
2018-02-21
|
\
\
\
\
\
\
*
\
\
\
\
\
\
Merge PR #6283: A pre-commit hook to magically fix whitespace issues.
Maxime Dénès
2018-02-21
|
\
\
\
\
\
\
\
|
|
_
|
_
|
_
|
/
/
/
|
/
|
|
|
|
|
|
|
|
|
|
*
|
|
More accurate and complete headers.
Théo Zimmermann
2018-02-21
|
|
_
|
_
|
/
/
/
|
/
|
|
|
|
|
[next]
Emilio Jesus Gallego Arias
Gaëtan Gilbert
Jasper Hugunin
Maxime Dénès
Enrico Tassi
Pierre-Marie Pédrot
Théo Zimmermann
Jim Fehrle