aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2020-01-28Merge PR #11379: [ocaml] Remove Custom Backtrace module in favor of OCaml'sPierre-Marie Pédrot
2020-01-22Fix #11421 computation of Set+2Gaëtan Gilbert
2020-01-21[xml-protocol doc] Fix link to vscoqRamkumar Ramachandra
2020-01-19Merge PR #11406: [dune] [dbg] Add support for coqtop in dune-dbgGaëtan Gilbert
2020-01-19Merge PR #11214: Add a script to pin CI developments.Gaëtan Gilbert
2020-01-19Removing text saying XML is future of PG, adding explicitly vscoq as a userHugo Herbelin
2020-01-17[dune] [dbg] Add support for coqtop in dune-dbgEmilio Jesus Gallego Arias
2020-01-15[ocaml] Remove Custom Backtrace module in favor of OCaml'sEmilio Jesus Gallego Arias
2020-01-03Merge PR #11295: Use code owner teams for every component.Maxime Dénès
2019-12-27Add critical-bugs entry, tests-suite file, and code comment.Guillaume Melquiond
2019-12-24Update merging doc following the full move to teams.Théo Zimmermann
2019-12-13Merge PR #11259: [make] Rename Makefile to Makefile.make and INSTALL to INSTA...Théo Zimmermann
2019-12-13[doc] [INSTALL] split make-based install instructions to its own file.Emilio Jesus Gallego Arias
2019-12-13[fmt] [dune] Add ocamlformat configuration.Emilio Jesus Gallego Arias
2019-12-06Moving the diversity of constr printers to a label style.Hugo Herbelin
2019-12-02Add a script to pin CI developments.Pierre-Marie Pédrot
2019-11-27[release] Update files for 8.12 release per release process.Emilio Jesus Gallego Arias
2019-11-26Fix #11039: proof of False with template poly and nonlinear universesGaëtan Gilbert
2019-11-07The "univ poly can capture global univs" checker side bug is fixedGaëtan Gilbert
2019-10-29Merge PR #10892: [engine] Remove UnivGen.global_of_constrPierre-Marie Pédrot
2019-10-29Merge PR #10942: Describe XML tags used for highlighting diff textThéo Zimmermann
2019-10-27Fix link to `coq-notes.md`Michael D. Adams
2019-10-24Describe XML tags used for highlighting diff textJim Fehrle
2019-10-16[engine] Remove UnivGen.global_of_constrVincent Laporte
2019-10-16Fix a De Bruijn bug in the computation of term relevance in the kernel.Pierre-Marie Pédrot
2019-10-13Doc update with mlg extension - fix #10855mcaci
2019-10-07Release process: release notesVincent Laporte
2019-10-07Merge PR #9933: Add a few missing notes to the release doc.Vincent Laporte
2019-09-25Adding documentation for the move of sections data to kernel.Pierre-Marie Pédrot
2019-08-30Adding a critical-bugs entry. Description from Hugo Herbelin.Pierre-Marie Pédrot
2019-08-22[dune] Move to Dune 1.10, use coq.pp directive.Emilio Jesus Gallego Arias
2019-07-15TyposJim Fehrle
2019-06-27Fix dev/doc/README.md by removing redundant, outdated info.Théo Zimmermann
2019-06-24[proof] dev/doc/changes for the last refactoringsEmilio Jesus Gallego Arias
2019-06-09[proof] Move proofs that have an associated constant to `Lemmas`Emilio Jesus Gallego Arias
2019-06-08Cleaning the status of Local Definition and similar.Hugo Herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:46:12 +0000