Commit message (Expand) | Author | Age | |
---|---|---|---|
* | configure: profiles (sets of flags) | 2018-03-05 | |
* | configure: make Prefs a record rather than a module of refs | 2018-03-05 | |
* | Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`. | 2018-03-04 | |
|\ | |||
* \ | Merge PR #6876: Unify Const_sorts and Const_type, and remove Vsort | 2018-03-04 | |
|\ \ | |||
* \ \ | Merge PR #6846: Moving code for "simple induction"/"simple destruct" to coret... | 2018-03-04 | |
|\ \ \ | |||
* \ \ \ | Merge PR #6885: [stm] Partial fix for bug #6884 [location missing from replay... | 2018-03-04 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #6873: [toplevel] Update state when `Drop` exception is thrown [#6872] | 2018-03-04 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6882: Harden gitattributes against core.whitespace configuration. | 2018-03-04 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #6879: Fix #6878: univ undefined for [with Definition] bad instance ... | 2018-03-04 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6676: [proofview] goals come with a state | 2018-03-04 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #915: Fix rewrite in * side conditions | 2018-03-04 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #6735: [toplevel] [vernac] Remove Load hack and check / document sup... | 2018-03-04 | |
|\ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | * | | [VM] Unify Const_sorts and Const_type, and remove Vsort. | 2018-03-02 | |
| |_|_|_|_|_|_|_|/ / |/| | | | | | | | | | |||
| | | | | | | * | | | [stm] Partial fix for bug #6884 [location missing from replay nodes] | 2018-03-02 | |
| | | | | * | | | | | Harden gitattributes against core.whitespace configuration. | 2018-03-01 | |
| |_|_|_|/ / / / / |/| | | | | | | | | |||
| | | | * | | | | | Fix #6878: univ undefined for [with Definition] bad instance size. | 2018-03-01 | |
| |_|_|/ / / / / |/| | | | | | | | |||
| | * | | | | | | Fixing rewriting in side conditions for "rewrite in *" and "rewrite in * |-". | 2018-03-01 | |
| | | |_|/ / / | | |/| | | | | |||
| | | | | * | | Moving code for "simple induction"/"simple destruct" to coretactics.ml4. | 2018-03-01 | |
* | | | | | | | Merge PR #6856: travis: elpi needs findlib >= 1.5 | 2018-03-01 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #6864: Remove empty, wrongly located, doc file. | 2018-03-01 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #6861: Typo in the documentation of the `pattern` tactic | 2018-03-01 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #6850: Fix #6751 trust_file_cache logic was inverted | 2018-03-01 | |
|\ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | * | | | [toplevel] Update state when `Drop` exception is thrown [#6872] | 2018-02-28 | |
| | | | | | | |/ / / | | | | | | |/| | | | |||
| | | | | * | | | | | [test-suite] Add a basic test-case for `Load`. | 2018-02-28 | |
| | | | | * | | | | | [toplevel] [vernac] Remove Load hack and check supported scenarios. | 2018-02-28 | |
| | | | | |/ / / / | |||
| | | | | | | | * | [econstr] Continue consolidation of EConstr API under `interp`. | 2018-02-28 | |
| | | | | | |_|/ | | | | | |/| | | |||
| | | | * | | | | travis: elpi needs findlib >= 1.5 | 2018-02-28 | |
| | | | * | | | | tavis: make the . in pkg.version part of $VERSION | 2018-02-28 | |
* | | | | | | | | Merge PR #6847: Fix make source-doc | 2018-02-28 | |
|\ \ \ \ \ \ \ \ | |_|_|_|_|/ / / |/| | | | | | | | |||
* | | | | | | | | Merge PR #6854: comment "resolvability" bit in Evd.evar_map | 2018-02-28 | |
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ |/| | | | | | | | |||
* | | | | | | | | Merge PR #6852: [stdlib] move “Require” out of sections | 2018-02-28 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #6853: Add a comment on EConstr.to_constr regarding evar-freeness. | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #1026: changed statements of Rpower_lt and Rle_power and added lemmas | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6756: Fix issue with spurious timing test failures | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6788: Fixes #6787 (minus sign interpreted by coqdoc as a bullet in ... | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6789: Check whitespace errors per-commit. | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6734: dest_{prod,lam}: no Cast case (it's removed by whd) | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6823: Fixes #6821 (bug in protecting notation printing from infinit... | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6812: Rename release_lexer_state to the more descriptive get_lexer_... | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6752: Remove from CircleCI builds that are already taken care of by... | 2018-02-28 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | | * | | Remove empty, wrongly located, doc file. | 2018-02-28 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | | |||
| | | | | | | | | | | | | | * | | Typo in the documentation of the `pattern` tactic | 2018-02-27 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | | | |||
| | | | | | | | | | | * | | | | comment "resolvability" bit in Evd.evar_map | 2018-02-27 | |
| |_|_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | | | |||
| | | | | | | | | | | | * | | Fix #6751 trust_file_cache logic was inverted | 2018-02-27 | |
| |_|_|_|_|_|_|_|_|_|_|/ / |/| | | | | | | | | | | | | |||
| | | | | | | | | * | | | | Add a comment on EConstr.to_constr regarding evar-freeness. | 2018-02-27 | |
| |_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | |||
| | | | | | | | | * | | | [stdlib] move “Require” out of sections | 2018-02-27 | |
| |_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | |||
| | | | | | | | | * | | Use relative path for show_latex_messages | 2018-02-27 | |
| | | | | | | | | * | | Use MYCAMLP5LIB instead of undefined MYCAMLP4LIB | 2018-02-27 | |
| |_|_|_|_|_|_|_|/ / |/| | | | | | | | | | |||
| | | | | | | * | | | [test-suite] Move sed scripts into bash arrays | 2018-02-24 | |
* | | | | | | | | | | Merge PR #6543: Update headers and credits | 2018-02-24 | |
|\ \ \ \ \ \ \ \ \ \ |