aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-04-03Merge PR #7154: Update coq_makefile timing testGaëtan Gilbert
2018-04-02Update coq_makefile timing testJason Gross
2018-04-01Merge PR #6844: Adding tclBINDFIRST/tclBINDLAST, generalizing type of tclTHEN...Pierre-Marie Pédrot
2018-04-01Merge PR #7106: Supporting fix and cofix in Ltac pattern-matching (wish #7092)Pierre-Marie Pédrot
2018-04-01Merge PR #7132: [doc] Add some more documentation to STM API.Enrico Tassi
2018-04-01Merge PR #6802: Remove deprecated commands Implicit Arguments and Arguments S...Enrico Tassi
2018-03-31[doc] Add some more documentation to STM API.Emilio Jesus Gallego Arias
2018-03-31Merge PR #6950: pre-commit, linter: verify user overlay extensions (must be sh)Emilio Jesus Gallego Arias
2018-03-30Add CHANGES for removing Implicit Arguments and Arguments ScopeJasper Hugunin
2018-03-30Remove deprecated commands Arguments Scope and Implicit ArgumentsJasper Hugunin
2018-03-30Change Implicit Arguments to Arguments in test-suiteJasper Hugunin
2018-03-31Merge PR #7121: Remove outdated patch from ci-sfEmilio Jesus Gallego Arias
2018-03-31Merge PR #6989: Enable whitespace checking for new Sphinx file extensions.Emilio Jesus Gallego Arias
2018-03-31Merge PR #7111: Fix #6631: Derive Plugin gives "Anomaly: more than one statem...Emilio Jesus Gallego Arias
2018-03-31Linter: verify overlay extensions.Gaëtan Gilbert
2018-03-31pre-commit: verify user overlay extensions (must be .sh).Gaëtan Gilbert
2018-03-31Merge PR #7130: gitlab: fix environment for build templateEmilio Jesus Gallego Arias
2018-03-30gitlab: fix environment for build templateGaëtan Gilbert
2018-03-29Remove outdated patch from ci-sfJasper Hugunin
2018-03-29Fix #6631: Derive Plugin gives "Anomaly: more than one statement".Pierre-Marie Pédrot
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-28Supporting fix/cofix in Ltac pattern-matching (wish #7092).Hugo Herbelin
2018-03-28Patterns: Accepting patterns in PFix and PCofix and not only constr.Hugo Herbelin
2018-03-28Adding Array.fold_left4.Hugo Herbelin
2018-03-28Detyping: Adding a variant of share_names for patterns.Hugo Herbelin
2018-03-28Detyping: Making detype_fix/detype_cofix polymorphic combinator (step 1).Hugo Herbelin
2018-03-28Patternops: renaming an internal function to more closely match its effect.Hugo Herbelin
2018-03-28Glob_ops: cosmetic renaming to reflect the type of objects.Hugo Herbelin
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-27Adding tacticals tclBINDFIRST/tclBINDLAST.Hugo Herbelin
2018-03-27Export Proofview.undefined as "unsafe" primitive.Hugo Herbelin
2018-03-27Adding informative variant of shelve_unifiable returning set of shelved evars.Hugo Herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 04:09:40 +0000