aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
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
2018-11-22Document code owner team creation.Théo Zimmermann
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21[legacy proof engine] Remove some cruft.Emilio Jesus Gallego Arias
2018-11-20Merge PR #8948: [dune] Some tweaks to docs.Théo Zimmermann
2018-11-19Rename TranspState into TransparentState.Pierre-Marie Pédrot
2018-11-19Proper record type and accessors for transparent states.Pierre-Marie Pédrot
2018-11-08[dune] Some tweaks to docs.Emilio Jesus Gallego Arias
2018-11-08Remove checker printersGaëtan Gilbert
2018-11-06Update/improve two aspects of the merging process.Théo Zimmermann
2018-11-05Merge PR #8515: Command driven attributesPierre-Marie Pédrot
2018-11-02Add dev/changes about attribute syntax in mlgGaëtan Gilbert
2018-11-02[dev doc] Update proof engine docs, fixes #6640Emilio Jesus Gallego Arias
2018-10-23[dune] Compile debug and checker printers.Emilio Jesus Gallego Arias
2018-10-17[doc] [build] Remove ocamlbuild leftovers.Emilio Jesus Gallego Arias
2018-10-15Documenting the transition from camlp5 to coqpp for ARGUMENT EXTEND.Pierre-Marie Pédrot
2018-10-15Deprecating the RAW_TYPED and GLOB_TYPED stanzas of the ARGUMENT EXTEND macro.Pierre-Marie Pédrot
2018-10-11Merge PR #186: [RFC] Coqlib cleanupPierre-Marie Pédrot
2018-10-11Merge PR #8161: Implement VERNAC EXTEND in coqppMaxime Dénès
2018-10-10[coqlib] Rebindable Coqlib namespace.Emilio Jesus Gallego Arias
2018-10-09[dune] Provide an optimized build profile with inlining reports.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:29:48 +0000