Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #7057: Sphinx Chapter 20: Type Classes | Maxime Dénès | 2018-03-29 |
|\ | |||
* \ | Merge PR #7072: Update codeowners | Maxime Dénès | 2018-03-29 |
|\ \ | |||
| * | | Remove dev/doc/changes.md from files with a code owner. | Théo Zimmermann | 2018-03-29 |
* | | | Merge PR #7090: stm: don't propagate side effects when editing a proof | Emilio Jesus Gallego Arias | 2018-03-28 |
|\ \ \ | |||
* \ \ \ | Merge PR #6961: [test-suite] Add backtracking test for `Load`. | Enrico Tassi | 2018-03-28 |
|\ \ \ \ | |||
| | * | | | stm: don't propagate side effects when editing a proof | Enrico Tassi | 2018-03-27 |
* | | | | | Merge PR #6835: Deprecate undocumented "intros until 0" in favor of "intros *" | Pierre-Marie Pédrot | 2018-03-27 |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #7062: Slightly refining some error messages about unresolvable evars. | Pierre-Marie Pédrot | 2018-03-27 |
|\ \ \ \ \ \ | |||
| | | | | | * | [doc] Port Chapter 20 Type Classes to Sphinx | Matthieu Sozeau | 2018-03-26 |
* | | | | | | | Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV... | Maxime Dénès | 2018-03-26 |
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | |||
| | | | | | * | Move Classes.tex to type-classes.rst | Matthieu Sozeau | 2018-03-26 |
* | | | | | | | Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer. | Enrico Tassi | 2018-03-26 |
|\ \ \ \ \ \ \ | |||
| | | | | | * | | Add Michael Soegtrop as a code owner for Windows build scripts. | Théo Zimmermann | 2018-03-26 |
| | | | | | * | | Use Pierre Corbineau GitHub nickname in CODEOWNERS. | Théo Zimmermann | 2018-03-26 |
| |_|_|_|_|/ / |/| | | | | | | |||
| | | * | | | | Slightly refining some error messages about unresolvable evars. | Hugo Herbelin | 2018-03-24 |
| |_|/ / / / |/| | | | | | |||
| | | * | | | Deprecate undocumented "intros until 0" in favor of "intros *". | Hugo Herbelin | 2018-03-23 |
| |_|/ / / |/| | | | | |||
* | | | | | Merge PR #7046: Switch maintainers for documentation | Théo Zimmermann | 2018-03-23 |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge PR #7018: Fix typo in CHANGES. | Maxime Dénès | 2018-03-23 |
|\ \ \ \ \ \ | |||
* \ \ \ \ \ \ | Merge PR #7029: improve merge-pr script | Maxime Dénès | 2018-03-23 |
|\ \ \ \ \ \ \ | |||
| * | | | | | | | improve merge-pr script | Enrico Tassi | 2018-03-23 |
* | | | | | | | | Merge PR #7052: More precise wording about the merge process. | Théo Zimmermann | 2018-03-23 |
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ |/| | | | | | | | |||
| * | | | | | | | More precise wording about the merge process. | Maxime Dénès | 2018-03-23 |
* | | | | | | | | Merge PR #7028: Fix #7026: ssr: applying an overloaded lemma as a view takes ... | Enrico Tassi | 2018-03-23 |
|\ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ | Merge PR #6968: [stm] Never consider `Backtrack` as part of the script. | Enrico Tassi | 2018-03-23 |
|\ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ | Merge PR #7025: Coq makefile: provide variables to extend the flags passed to... | Enrico Tassi | 2018-03-23 |
|\ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | update CHANGES | Enrico Tassi | 2018-03-23 |
* | | | | | | | | | | | Merge PR #7030: [default.nix] Add dependencies of the merging script. | Vincent Laporte | 2018-03-23 |
|\ \ \ \ \ \ \ \ \ \ \ | |||
* \ \ \ \ \ \ \ \ \ \ \ | Merge PR #7031: Owners for developer tools | Théo Zimmermann | 2018-03-22 |
|\ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | |||
| * | | | | | | | | | | | Owners for developer tools | Maxime Dénès | 2018-03-22 |
|/ / / / / / / / / / / | |||
* | | | | | | | | | | | Merge pull request #7040 from maximedenes/sphinx-doc-chapter-22 | Guillaume Melquiond | 2018-03-22 |
|\ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into sphinx-doc-chapter-22 | Guillaume Melquiond | 2018-03-22 |
| |\ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / |/| | | | | | | | | | | | |||
* | | | | | | | | | | | | Merge pull request #7039 from maximedenes/sphinx-doc-chapter-21 | Guillaume Melquiond | 2018-03-22 |
|\ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into sphinx-doc-chapter-21 | Guillaume Melquiond | 2018-03-22 |
| |\ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / |/| | | | | | | | | | | | | |||
* | | | | | | | | | | | | | Merge pull request #7038 from maximedenes/sphinx-doc-chapter-19 | Guillaume Melquiond | 2018-03-22 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into sphinx-doc-chapter-19 | Guillaume Melquiond | 2018-03-22 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / |/| | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | Merge pull request #7036 from maximedenes/sphinx-doc-chapter-17 | Guillaume Melquiond | 2018-03-22 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| | | | | | | | | | | * | | | | Switch maintainers for documentation | Maxime Dénès | 2018-03-22 |
| |_|_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | | | |||
| | | | * | | | | | | | | | | [Sphinx] Add chapter 22 | Maxime Dénès | 2018-03-22 |
| | | | * | | | | | | | | | | [Sphinx] Move chapter 22 to new infrastructure | Maxime Dénès | 2018-03-22 |
| |_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | |||
| | | * | | | | | | | | | | [Sphinx] Add chapter 21 | Maxime Dénès | 2018-03-22 |
| | | * | | | | | | | | | | [Sphinx] Move chapter 21 to new infrastructure | Maxime Dénès | 2018-03-22 |
| |_|/ / / / / / / / / / |/| | | | | | | | | | | | |||
| | * | | | | | | | | | | [Sphinx] Add chapter 19 | Maxime Dénès | 2018-03-22 |
| | * | | | | | | | | | | [Sphinx] Move chapter 19 to new infrastructure | Maxime Dénès | 2018-03-22 |
| |/ / / / / / / / / / |/| | | | | | | | | | | |||
| * | | | | | | | | | | [Sphinx] Add chapter 17 | Maxime Dénès | 2018-03-22 |
| * | | | | | | | | | | [Sphinx] Move chapter 17 to new infrastructure | Maxime Dénès | 2018-03-22 |
|/ / / / / / / / / / | |||
| | * | | | | | | | | docs | Ralf Jung | 2018-03-21 |
| * | | | | | | | | | [default.nix] Add dependencies of the merging script. | Théo Zimmermann | 2018-03-21 |
|/ / / / / / / / / | |||
* | | | | | | | | | Merge PR #7027: Refine a bit the decentralized merging process. | Théo Zimmermann | 2018-03-21 |
|\ \ \ \ \ \ \ \ \ | |_|_|_|/ / / / / |/| | | | | | | | | |||
| * | | | | | | | | Switching owners for `META.coq` | Maxime Dénès | 2018-03-21 |
| * | | | | | | | | Fix appveyor entry in CODEOWNERS. | Maxime Dénès | 2018-03-21 |