Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | | | | | | | | Some advice about merge script dependencies. | 2018-04-05 | ||
| * | | | | | | | | | | | Improve the MERGING doc. | 2018-04-05 | ||
| * | | | | | | | | | | | Adapt CONTRIBUTING to recent changes in Coq. | 2018-04-05 | ||
|/ / / / / / / / / / / | ||||
* | | | | | | | | | | | Merge PR #7115: Sphinx doc chapter 28 | 2018-04-05 | ||
|\ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #7016: Make parsing independent of the cumulativity flag. | 2018-04-05 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #7139: [stm] More cleanup of "classification is not an interpreter" | 2018-04-05 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | | | | | [Sphinx] Add chapter 30 | 2018-04-05 | ||
| | | | | | * | | | | | | | | [Sphinx] Move chapter 30 to new infrastructure | 2018-04-05 | ||
| | | | |_|/ / / / / / / / | | | |/| | | | | | | | | | ||||
* | | | | | | | | | | | | | Merge PR #7127: Fix #6257: anomaly with Printing Projections and Context. | 2018-04-04 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | | ||||
* | | | | | | | | | | | | | Merge PR #7163: merge-pr.sh: cache github API calls | 2018-04-04 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | | | | | Sphinx docs: fix typo (non-ASCII character lost in sphinx migration) | 2018-04-04 | ||
| |_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | ||||
| | | | | * | | | | | | | | [Sphinx] Add chapter 28 | 2018-04-04 | ||
| | | | | * | | | | | | | | [Sphinx] Move chapter 28 to new infrastructure | 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 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | | * | | | | | ssr: check cleared hyps do exist (fix #7050) | 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 | ||
| |_|_|_|_|_|_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | * | | | | | [api] Move some types to their proper module. | 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] More cleanup of "classification is not an interpreter" | 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 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|/ / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | |