aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2019-05-23Merge PR #10221: Fixing typos - Part 2 (reopening of #10218)Théo Zimmermann
2019-05-23Fixing typos - Part 2JPR
2019-05-22Better dune ocamldebug integrationGaëtan Gilbert
2019-05-22Update build-system.txtFourchaux
2019-05-21Fixing typos - Part 1JPR
2019-05-13Merge PR #10085: Do not include unreleased changelog in released versions.Vincent Laporte
2019-05-10[api] Remove 8.10 deprecations.Emilio Jesus Gallego Arias
2019-05-08Update release process documentation and changelog entry.Théo Zimmermann
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
2019-04-29Merge PR #9987: Fix #9180 by reverting #9249 and #8187Emilio Jesus Gallego Arias
2019-04-29Merge PR #9925: [vm] Protect accu and coq_envMaxime Dénès
2019-04-29Revert #8187Vincent Laporte
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-04-16[doc] Changes for coq/coq#9165Emilio Jesus Gallego Arias
2019-04-15Update critical-bugsPierre Roux
2019-04-09Add a few missing notes to the release doc.Théo Zimmermann
2019-04-05[native compiler] Fix critical bug with primitive projectionsMaxime Dénès
2019-04-02Merge PR #9668: Consolidate credits and changelog information in a single place.Clément Pit-Claudel
2019-03-31[dune] typoEnrico Tassi
2019-03-31Move content of COMPATIBILITY to Changes chapter.Théo Zimmermann
2019-03-26Fix reproduction info for some past critical bugsGaëtan Gilbert
2019-03-26Incorrect details in critical bug info (prop_set_proof_irrelevance)Gaëtan Gilbert
2019-03-21Merge PR #9774: Remove clutter by moving historic unmaintained dev/doc files ...Emilio Jesus Gallego Arias
2019-03-20Stop accessing proof env via Pfedit in printersMaxime Dénès
2019-03-15Remove clutter by moving historic unmaintained dev/doc files to an archive su...Théo Zimmermann
2019-03-14Documentation for SPropGaëtan Gilbert
2019-03-13Merge PR #9748: [dune] Add shim for coqtop.byteThéo Zimmermann
2019-03-12Merge PR #9389: Implement a method for manual declaration of implicits.Emilio Jesus Gallego Arias
2019-03-12[dune] Add shim for coqtop.byteEmilio Jesus Gallego Arias
2019-03-07Merge PR #9133: Move README-V1-V5 to credits chapterClément Pit-Claudel
2019-03-03[dune] Shim for starting `coqtop/coqide` with minimal config.Emilio Jesus Gallego Arias
2019-03-01Merge PR #9610: Fix #9110: mention check-owners-pr.shEmilio Jesus Gallego Arias
2019-02-28Move content of README-V1-V5 to Credits chapter.Théo Zimmermann
2019-02-28Fix #9110: mention check-owners-pr.shThéo Zimmermann
2019-02-28Implement a method for manual declaration of implicits.Jasper Hugunin
2019-02-18[dev] Add include versions for Dune builds.Emilio Jesus Gallego Arias
2019-02-08Add item in release-process.md to ease upcoming releases of Coq in Docker HubErik Martin-Dorel
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2019-01-29Use \mathcal instead of \calGaëtan Gilbert
2019-01-29Merge PR #9383: Remove travisVincent Laporte
2019-01-24Update update-compat.py and release-process.mdJason Gross
2019-01-24Update update-compat.py scriptJason Gross
2019-01-22Remove travisGaëtan Gilbert
2018-12-13[dune] [doc] Support for building the reference manual with Dune.Emilio Jesus Gallego Arias
2018-12-12Higher-level libobject API for objects with fixed scopesMaxime Dénès
2018-12-04Merge PR #8187: Notation printing based on scopes (take 2, including bug fixes)Emilio Jesus Gallego Arias
2018-12-04Merge PR #9053: Document code owner team creation.Maxime Dénès
2018-12-04Addressing issues with PR#873: performance and use of abbreviation for printing.Hugo Herbelin
2018-11-29[release doc] vX.X branches are now automatically protected.Théo Zimmermann
2018-11-27Merge PR #7033: Remove obsolete files from dev/docThéo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:50:55 +0000