Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix #6956: Uncaught exception in bytecode compilation | 2018-04-06 | |
* | Merge PR #7163: merge-pr.sh: cache github API calls | 2018-04-04 | |
|\ | |||
* \ | Merge PR #7158: [meta] Add `num` to the set of base libraries. | 2018-04-04 | |
|\ \ | |||
* \ \ | Merge PR #6407: Fix #6404 - Print tactics called by ML tactics | 2018-04-04 | |
|\ \ \ | |||
* \ \ \ | Merge PR #7147: [doc] Document better ocamlfind and flambda requirements. | 2018-04-04 | |
|\ \ \ \ | |||
* \ \ \ \ | Merge PR #7144: [toplevel] Protect goal printing better wrt Break [helps with... | 2018-04-04 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #7138: [stm] Move VernacBacktrack to the toplevel. | 2018-04-04 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #7104: Sphinx doc chapter 27 | 2018-04-04 | |
|\ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ | Merge PR #7048: Sphinx doc chapter 25 | 2018-04-04 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #7049: Sphinx doc chapter 26 | 2018-04-04 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #7047: Sphinx doc chapter 24 | 2018-04-04 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #7041: Sphinx doc chapter 23 | 2018-04-04 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #7037: Sphinx doc chapter 18 | 2018-04-04 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | * | merge-pr.sh: cache github API calls | 2018-04-03 | |
| |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |||
* | | | | | | | | | | | | Merge PR #7154: Update coq_makefile timing test | 2018-04-03 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | * | | | [doc] Document better ocamlfind and flambda requirements. | 2018-04-03 | |
| |_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | |||
| | | | | | | | | | | * | [meta] Add `num` to the set of base libraries. | 2018-04-03 | |
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |||
| * | | | | | | | | | | Update coq_makefile timing test | 2018-04-02 | |
|/ / / / / / / / / / | |||
| | | | | | | | | * | Fix #6404 - Print tactics called by ML tactics | 2018-04-02 | |
| |_|_|_|_|_|_|_|/ |/| | | | | | | | | |||
* | | | | | | | | | Merge PR #6844: Adding tclBINDFIRST/tclBINDLAST, generalizing type of tclTHEN... | 2018-04-01 | |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #7106: Supporting fix and cofix in Ltac pattern-matching (wish #7092) | 2018-04-01 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #7132: [doc] Add some more documentation to STM API. | 2018-04-01 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #6802: Remove deprecated commands Implicit Arguments and Arguments S... | 2018-04-01 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | | * | [toplevel] Protect goal printing better wrt Break [fixes #7142] | 2018-04-01 | |
| |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |||
| | | | | | | | | | | * | [stm] Move VernacBacktrack to the toplevel. | 2018-04-01 | |
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |||
| | * | | | | | | | | | [doc] Add some more documentation to STM API. | 2018-03-31 | |
| |/ / / / / / / / / |/| | | | | | | | | | |||
* | | | | | | | | | | Merge PR #6950: pre-commit, linter: verify user overlay extensions (must be sh) | 2018-03-31 | |
|\ \ \ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | | Add CHANGES for removing Implicit Arguments and Arguments Scope | 2018-03-30 | |
| | * | | | | | | | | | Remove deprecated commands Arguments Scope and Implicit Arguments | 2018-03-30 | |
| | * | | | | | | | | | Change Implicit Arguments to Arguments in test-suite | 2018-03-30 | |
| |/ / / / / / / / / |/| | | | | | | | | | |||
* | | | | | | | | | | Merge PR #7121: Remove outdated patch from ci-sf | 2018-03-31 | |
|\ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #6989: Enable whitespace checking for new Sphinx file extensions. | 2018-03-31 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #7111: Fix #6631: Derive Plugin gives "Anomaly: more than one statem... | 2018-03-31 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | * | | | | | | | | | Linter: verify overlay extensions. | 2018-03-31 | |
| | | | * | | | | | | | | | pre-commit: verify user overlay extensions (must be .sh). | 2018-03-31 | |
* | | | | | | | | | | | | | Merge PR #7130: gitlab: fix environment for build template | 2018-03-31 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|/ / / / / / / / / |/| | | | | | | | | | | | | |||
| | | | | | | | | | | | * | [Sphinx] Add chapter 27 | 2018-03-30 | |
| | | | | | | | | | | | * | [Sphinx] Move chapter 27 to new infrastructure | 2018-03-30 | |
| | | | | | | | | | | |/ | |||
| | | | | | | | | | | * | [Sphinx] Add chapter 25 | 2018-03-30 | |
| | | | | | | | | | | * | [Sphinx] Move chapter 25 to new infrastructure | 2018-03-30 | |
| | | | | | | | | | |/ | |||
| * | | | | | | | | / | gitlab: fix environment for build template | 2018-03-30 | |
|/ / / / / / / / / / | |||
| | | * / / / / / / | Remove outdated patch from ci-sf | 2018-03-29 | |
| |_|/ / / / / / / |/| | | | | | | | | |||
| | | | | | | | * | [Sphinx] Add chapter 26 | 2018-03-29 | |
| | | | | | | | * | [Sphinx] Move chapter 26 to new infrastructure | 2018-03-29 | |
| | | | | | | |/ | |||
| * | | | | | / | Fix #6631: Derive Plugin gives "Anomaly: more than one statement". | 2018-03-29 | |
|/ / / / / / / | |||
| | | | | | * | [Sphinx] Add chapter 24 | 2018-03-29 | |
| | | | | | * | [Sphinx] Move chapter 24 to new infrastructure | 2018-03-29 | |
| | | | | |/ | |||
| | | | | * | [Sphinx] Add chapter 23 | 2018-03-29 | |
| | | | | * | [Sphinx] Move chapter 23 to new infrastructure | 2018-03-29 | |
| | | | |/ | |||
| | | | * | [Sphinx] Remove duplicate entry for command `Coercion` | 2018-03-29 |