aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* [located] Push inner locations in `reference` to a CAst.t node.Gravatar Emilio Jesus Gallego Arias2018-03-09
* [located] More work towards using CAst.tGravatar Emilio Jesus Gallego Arias2018-03-09
* Merge PR #6775: Allow using cumulativity without forcing strict constraints.Gravatar Maxime Dénès2018-03-09
|\
| * Overlay for Elpi.Gravatar Gaëtan Gilbert2018-03-09
* | Add an overlay for Equations and Ltac2.Gravatar Pierre-Marie Pédrot2018-03-09
|/
* Merge PR #6817: [configure]: support for profilesGravatar Maxime Dénès2018-03-08
|\
* \ Merge PR #6881: [windows] support -addon in build scriptGravatar Maxime Dénès2018-03-08
|\ \
| | * document -profile in dev/doc/setup.txtGravatar Enrico Tassi2018-03-06
* | | Standard headers for C and Python.Gravatar Maxime Dénès2018-03-06
| * | Hack to make bignum build on windowsGravatar Enrico Tassi2018-03-06
| * | build: win: turn off build/installation of gnu MakeGravatar Enrico Tassi2018-03-06
* | | Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\ \ \
* \ \ \ Merge PR #935: Handling evars in the VMGravatar Maxime Dénès2018-03-04
|\ \ \ \ | |_|_|/ |/| | |
* | | | Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.Gravatar Maxime Dénès2018-03-04
|\ \ \ \
* \ \ \ \ Merge PR #6876: Unify Const_sorts and Const_type, and remove VsortGravatar Maxime Dénès2018-03-04
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6873: [toplevel] Update state when `Drop` exception is thrown [#6872]Gravatar Maxime Dénès2018-03-04
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #6676: [proofview] goals come with a stateGravatar Maxime Dénès2018-03-04
|\ \ \ \ \ \ \
| | | | | * | | Handling evars in the VM.Gravatar Pierre-Marie Pédrot2018-03-03
| |_|_|_|/ / / |/| | | | | |
| | | * | | | [VM] Unify Const_sorts and Const_type, and remove Vsort.Gravatar Maxime Dénès2018-03-02
| |_|/ / / / |/| | | | |
| | | | | * installer: win: put addons in a separate packageGravatar Enrico Tassi2018-03-02
| | | | | * build: win: detect 404 as HTML filesGravatar Enrico Tassi2018-03-02
| | | | | * build: win: addon bignumsGravatar Enrico Tassi2018-03-02
| | | | | * build: win: support for addonsGravatar Enrico Tassi2018-03-02
| | * | | | [toplevel] Update state when `Drop` exception is thrown [#6872]Gravatar Emilio Jesus Gallego Arias2018-02-28
| |/ / / / |/| | | |
| | * | | [econstr] Continue consolidation of EConstr API under `interp`.Gravatar Emilio Jesus Gallego Arias2018-02-28
| |/ / / |/| | |
* | | | Merge PR #6789: Check whitespace errors per-commit.Gravatar Maxime Dénès2018-02-28
|\ \ \ \
* \ \ \ \ Merge PR #6812: Rename release_lexer_state to the more descriptive get_lexer_...Gravatar Maxime Dénès2018-02-28
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| | | | * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
| |_|_|/ |/| | |
* | | | Merge PR #6543: Update headers and creditsGravatar Maxime Dénès2018-02-24
|\ \ \ \
* \ \ \ \ Merge PR #6803: coqdev.el: add space at the end of compile-commandGravatar Maxime Dénès2018-02-24
|\ \ \ \ \
| | | | * | Check whitespace errors per-commit.Gravatar Gaëtan Gilbert2018-02-23
| | | * | | Tweak developer documentation.Gravatar Jim Fehrle2018-02-22
| | | |/ /
* | | | | [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
* | | | | Merge PR #6767: [ci] add elpiGravatar Maxime Dénès2018-02-21
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6283: A pre-commit hook to magically fix whitespace issues.Gravatar Maxime Dénès2018-02-21
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | |
| | | | * | More accurate and complete headers.Gravatar Théo Zimmermann2018-02-21
| |_|_|/ / |/| | | |
| | | * | coqdev.el: add space at the end of compile-commandGravatar Gaëtan Gilbert2018-02-21
| |_|/ / |/| | |
| | | * overlay for ltac2 and EquationsGravatar Enrico Tassi2018-02-20
| |_|/ |/| |
| | * ci: add elpiGravatar Enrico Tassi2018-02-19
| |/ |/|
* | Merge PR #6771: [engine] Remove ghost parameter from `Proofview.Goal.t`Gravatar Maxime Dénès2018-02-19
|\ \
* \ \ Merge PR #6753: [toplevel] Make toplevel state into a record.Gravatar Maxime Dénès2018-02-19
|\ \ \
* \ \ \ Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Gravatar Maxime Dénès2018-02-19
|\ \ \ \
* \ \ \ \ Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead.Gravatar Maxime Dénès2018-02-19
|\ \ \ \ \
| | * | | | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| | | * | | [toplevel] Make toplevel state into a record.Gravatar Emilio Jesus Gallego Arias2018-02-15
| |_|/ / / |/| | | |
| * | | | coqdev.el: wait for 'compile to touch compilation-error-regexp-alistGravatar Gaëtan Gilbert2018-02-13
| * | | | coqdev.el: fix "compilate"-command typoGravatar Gaëtan Gilbert2018-02-13
| * | | | coqdev.el: shell-quote-argument the directory for make -CGravatar Gaëtan Gilbert2018-02-13
| * | | | coqdev.el: stop using when-let for emacs<25 compatibility.Gravatar Gaëtan Gilbert2018-02-13
| | | * | [engine] Remove ghost parameter from `Proofview.Goal.t`Gravatar Emilio Jesus Gallego Arias2018-02-12