aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-03-29[Sphinx] Add chapter 23Maxime Dénès
2018-03-29[Sphinx] Move chapter 23 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Remove duplicate entry for command `Coercion`Maxime Dénès
2018-03-29[Sphinx] Add chapter 18Maxime Dénès
2018-03-29[Sphinx] Move chapter 18 to new infrastructureMaxime Dénès
2018-03-29Merge PR #7057: Sphinx Chapter 20: Type ClassesMaxime Dénès
2018-03-29Merge PR #7072: Update codeownersMaxime Dénès
2018-03-29Remove dev/doc/changes.md from files with a code owner.Théo Zimmermann
2018-03-28Merge PR #7090: stm: don't propagate side effects when editing a proofEmilio Jesus Gallego Arias
2018-03-28Merge PR #6961: [test-suite] Add backtracking test for `Load`.Enrico Tassi
2018-03-27stm: don't propagate side effects when editing a proofEnrico Tassi
2018-03-27Merge PR #6835: Deprecate undocumented "intros until 0" in favor of "intros *"Pierre-Marie Pédrot
2018-03-27Merge PR #7062: Slightly refining some error messages about unresolvable evars.Pierre-Marie Pédrot
2018-03-26[doc] Port Chapter 20 Type Classes to SphinxMatthieu Sozeau
2018-03-26Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...Maxime Dénès
2018-03-26Move Classes.tex to type-classes.rstMatthieu Sozeau
2018-03-26Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer.Enrico Tassi
2018-03-26Add Michael Soegtrop as a code owner for Windows build scripts.Théo Zimmermann
2018-03-26Use Pierre Corbineau GitHub nickname in CODEOWNERS.Théo Zimmermann
2018-03-24Slightly refining some error messages about unresolvable evars.Hugo Herbelin
2018-03-23Deprecate undocumented "intros until 0" in favor of "intros *".Hugo Herbelin
2018-03-23Merge PR #7046: Switch maintainers for documentationThéo Zimmermann
2018-03-23Merge PR #7018: Fix typo in CHANGES.Maxime Dénès
2018-03-23Merge PR #7029: improve merge-pr scriptMaxime Dénès
2018-03-23improve merge-pr scriptEnrico Tassi
2018-03-23Merge PR #7052: More precise wording about the merge process.Théo Zimmermann
2018-03-23More precise wording about the merge process.Maxime Dénès
2018-03-23Merge PR #7028: Fix #7026: ssr: applying an overloaded lemma as a view takes ...Enrico Tassi
2018-03-23Merge PR #6968: [stm] Never consider `Backtrack` as part of the script.Enrico Tassi
2018-03-23Merge PR #7025: Coq makefile: provide variables to extend the flags passed to...Enrico Tassi
2018-03-23update CHANGESEnrico Tassi
2018-03-23Merge PR #7030: [default.nix] Add dependencies of the merging script.Vincent Laporte
2018-03-22Merge PR #7031: Owners for developer toolsThéo Zimmermann
2018-03-22Owners for developer toolsMaxime Dénès
2018-03-22Merge pull request #7040 from maximedenes/sphinx-doc-chapter-22Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-22Guillaume Melquiond
2018-03-22Merge pull request #7039 from maximedenes/sphinx-doc-chapter-21Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-21Guillaume Melquiond
2018-03-22Merge pull request #7038 from maximedenes/sphinx-doc-chapter-19Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-19Guillaume Melquiond
2018-03-22Merge pull request #7036 from maximedenes/sphinx-doc-chapter-17Guillaume Melquiond
2018-03-22Switch maintainers for documentationMaxime Dénès
2018-03-22[Sphinx] Add chapter 22Maxime Dénès
2018-03-22[Sphinx] Move chapter 22 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 21Maxime Dénès
2018-03-22[Sphinx] Move chapter 21 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 19Maxime Dénès
2018-03-22[Sphinx] Move chapter 19 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Add chapter 17Maxime Dénès
2018-03-22[Sphinx] Move chapter 17 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 03:04:24 +0000