aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-05-24Merge PR #10167: do not parse `|` as infix in patterns; parse `|}` as `|` `}`Emilio Jesus Gallego Arias
2019-05-23Fixing typos - Part 3JPR
2019-05-23Fixing typos - Part 3JPR
2019-05-23Make progress toward #9411: reject new undefined references.Théo Zimmermann
2019-05-23Merge PR #10195: Minor Ltac2 documentation fix: type parameters are optional.Clément Pit-Claudel
2019-05-23Merge PR #10217: Less undefined tokensClément Pit-Claudel
2019-05-23Merge PR #10227: Update `Bind Scope` documentation to reflect dynamic binding...Théo Zimmermann
2019-05-23do not parse `|` as infix in patterns; parse `|}` as `|` `}`Georges Gonthier
2019-05-23Suggestions from review.Théo Zimmermann
2019-05-23Merge PR #9895: [loadpath] Make loadpath handling self-contained and move to ...Maxime Dénès
2019-05-23Update doc/sphinx/user-extensions/syntax-extensions.rstMaxime Dénès
2019-05-23Update doc/sphinx/user-extensions/syntax-extensions.rstMaxime Dénès
2019-05-23Update doc/sphinx/user-extensions/syntax-extensions.rstMaxime Dénès
2019-05-23More misc refman fixes, less undefined tokens.Théo Zimmermann
2019-05-23Define many undefined tokens, and other misc fixes.Théo Zimmermann
2019-05-23Use new coqrst syntax for alternatives in SSReflect chapter.Théo Zimmermann
2019-05-23Update `Bind Scope` documentation to reflect 3d09e39dd423d81c6af3e991d5b282ea...Maxime Dénès
2019-05-23Merge PR #10221: Fixing typos - Part 2 (reopening of #10218)Théo Zimmermann
2019-05-23Merge PR #10192: More miscellaneous refman fixes (reopened version of #10187)Théo Zimmermann
2019-05-23Merge PR #10214: Better dune ocamldebug integrationEmilio Jesus Gallego Arias
2019-05-23Merge PR #10185: Remove undocumented Instance : ! syntaxVincent Laporte
2019-05-23Merge PR #8768: [stm] Add hooks for document actions.Enrico Tassi
2019-05-22[Ltac2] Add util files for Bool, List, OptionJason Gross
2019-05-23Fixing typos - Part 2JPR
2019-05-22Fix ambiguous comment problemTalia Ringer
2019-05-22unified style for new hooks and old hooksTalia Ringer
2019-05-22Merge PR #10173: Fail: don't catch critical errorsEmilio Jesus Gallego Arias
2019-05-22Merge remote-tracking branch 'origin/master' into stm+doc_hookTalia Ringer
2019-05-22Better dune ocamldebug integrationGaëtan Gilbert
2019-05-22[refman] Add more missing @ signsClément Pit-Claudel
2019-05-22[refman] Misc fixes (mostly missing '@' signs)Clément Pit-Claudel
2019-05-22[refman] Give explicit names to the various 'Arguments' commandsClément Pit-Claudel
2019-05-22Fix dependencies of new test file.Théo Zimmermann
2019-05-22Fix changelog test file on macOS: do not use ls + wc.Théo Zimmermann
2019-05-22Merge PR #10177: Fix #10176: shadowing vs automatic class based generalizatio...Hugo Herbelin
2019-05-22Merge PR #10211: Use grep in changelog test instead of adhoc readsThéo Zimmermann
2019-05-22Merge PR #10203: Fixing typos - Part 1Théo Zimmermann
2019-05-22Merge PR #10178: Improve doc for generalizing bindersThéo Zimmermann
2019-05-22Ltac2 doc fix: syntax for extending an open variant type.Théo Zimmermann
2019-05-22Use grep in changelog test instead of adhoc readsGaëtan Gilbert
2019-05-22Improve doc for generalizing bindersGaëtan Gilbert
2019-05-22Merge PR #10207: Partly revert micromega parsing using typeclasses.Vincent Laporte
2019-05-22Fix #10208 don't fail when passed extensionless -topfileGaëtan Gilbert
2019-05-22Merge PR #9980: [ci] Set artifact expire date for all jobs.Gaëtan Gilbert
2019-05-22Partly revert micromega parsing using typeclasses.Frédéric Besson
2019-05-22Update build-system.txtFourchaux
2019-05-21Fixing typos - Part 1JPR
2019-05-21[ci] Set artifact expire date for all jobs.Emilio Jesus Gallego Arias
2019-05-21Fixing a small bug in computing implicit arguments in (co-)fixpoints.Hugo Herbelin
2019-05-21Adding test for old bug fixed in 8.5 (wrong implicit arguments in fixpoint).Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 07:28:43 +0000