aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2019-12-06Moving the diversity of constr printers to a label style.Hugo Herbelin
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:39:29 +0000