Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Congruence: Fixing a bug with native projections. | 2018-03-27 | |
* | Congruence: typography in a comment. | 2018-03-27 | |
* | Congruence: getting rid of a detour by the compatibility layer of proof engine. | 2018-03-27 | |
* | Merge PR #7046: Switch maintainers for documentation | 2018-03-23 | |
|\ | |||
* \ | Merge PR #7018: Fix typo in CHANGES. | 2018-03-23 | |
|\ \ | |||
* \ \ | Merge PR #7029: improve merge-pr script | 2018-03-23 | |
|\ \ \ | |||
| * | | | improve merge-pr script | 2018-03-23 | |
* | | | | Merge PR #7052: More precise wording about the merge process. | 2018-03-23 | |
|\ \ \ \ | |||
| * | | | | More precise wording about the merge process. | 2018-03-23 | |
* | | | | | Merge PR #7028: Fix #7026: ssr: applying an overloaded lemma as a view takes ... | 2018-03-23 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #6968: [stm] Never consider `Backtrack` as part of the script. | 2018-03-23 | |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #7025: Coq makefile: provide variables to extend the flags passed to... | 2018-03-23 | |
|\ \ \ \ \ \ \ | |||
| * | | | | | | | update CHANGES | 2018-03-23 | |
* | | | | | | | | Merge PR #7030: [default.nix] Add dependencies of the merging script. | 2018-03-23 | |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #7031: Owners for developer tools | 2018-03-22 | |
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / |/| | | | | | | | | |||
| * | | | | | | | | Owners for developer tools | 2018-03-22 | |
|/ / / / / / / / | |||
* | | | | | | | | Merge pull request #7040 from maximedenes/sphinx-doc-chapter-22 | 2018-03-22 | |
|\ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ | Merge branch 'master' into sphinx-doc-chapter-22 | 2018-03-22 | |
| |\ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | | | | | | | | |||
* | | | | | | | | | Merge pull request #7039 from maximedenes/sphinx-doc-chapter-21 | 2018-03-22 | |
|\ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ | Merge branch 'master' into sphinx-doc-chapter-21 | 2018-03-22 | |
| |\ \ \ \ \ \ \ \ \ | |/ / / / / / / / / |/| | | | | | | | | | |||
* | | | | | | | | | | Merge pull request #7038 from maximedenes/sphinx-doc-chapter-19 | 2018-03-22 | |
|\ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ | Merge branch 'master' into sphinx-doc-chapter-19 | 2018-03-22 | |
| |\ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / |/| | | | | | | | | | | |||
* | | | | | | | | | | | Merge pull request #7036 from maximedenes/sphinx-doc-chapter-17 | 2018-03-22 | |
|\ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | * | Switch maintainers for documentation | 2018-03-22 | |
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |||
| | | | * | | | | | | | [Sphinx] Add chapter 22 | 2018-03-22 | |
| | | | * | | | | | | | [Sphinx] Move chapter 22 to new infrastructure | 2018-03-22 | |
| |_|_|/ / / / / / / |/| | | | | | | | | | |||
| | | * | | | | | | | [Sphinx] Add chapter 21 | 2018-03-22 | |
| | | * | | | | | | | [Sphinx] Move chapter 21 to new infrastructure | 2018-03-22 | |
| |_|/ / / / / / / |/| | | | | | | | | |||
| | * | | | | | | | [Sphinx] Add chapter 19 | 2018-03-22 | |
| | * | | | | | | | [Sphinx] Move chapter 19 to new infrastructure | 2018-03-22 | |
| |/ / / / / / / |/| | | | | | | | |||
| * | | | | | | | [Sphinx] Add chapter 17 | 2018-03-22 | |
| * | | | | | | | [Sphinx] Move chapter 17 to new infrastructure | 2018-03-22 | |
|/ / / / / / / | |||
| | * | | | | | docs | 2018-03-21 | |
| * | | | | | | [default.nix] Add dependencies of the merging script. | 2018-03-21 | |
|/ / / / / / | |||
* | | | | | | Merge PR #7027: Refine a bit the decentralized merging process. | 2018-03-21 | |
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | |||
| * | | | | | Switching owners for `META.coq` | 2018-03-21 | |
| * | | | | | Fix appveyor entry in CODEOWNERS. | 2018-03-21 | |
| * | | | | | Refine a bit the decentralized merging process. | 2018-03-21 | |
* | | | | | | Merge PR #7023: [ssreflect] Respect Opaque in FO unification | 2018-03-21 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | |||
| | | | * | | Fix #7026: ssr: applying an overloaded lemma as a view takes too long. | 2018-03-21 | |
| |_|_|/ / |/| | | | | |||
| | * | | | coq_makefile: provide variables to override for adding extra flags | 2018-03-20 | |
| | * | | | coq_makefile: FLAG make variables should not contain LIBS | 2018-03-20 | |
| |/ / / |/| | | | |||
| * | | | [ssreflect] Respect Opaque in FO unification | 2018-03-20 | |
|/ / / | |||
* | | | Merge PR #7022: Update CODEOWNERS | 2018-03-20 | |
|\ \ \ | |||
| * | | | Update CODEOWNERS | 2018-03-20 | |
|/ / / | |||
* | | | Merge PR #7014: New merging process | 2018-03-20 | |
|\ \ \ | |||
| * | | | Add CODEOWNERS | 2018-03-20 | |
| * | | | Describe new merging process. | 2018-03-19 | |
|/ / / | |||
| | * | Fix typo in CHANGES. | 2018-03-19 | |
| |/ |/| | |||
* | | Merge PR #7007: Emergency fix for OSX packaging job on Travis. | 2018-03-16 | |
|\ \ |