aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2020-05-10Merge PR #12286: [sphinx] Add links to other versions of the refmanThéo Zimmermann
2020-05-09[sphinx] Add links to other versions of the refmanClément Pit-Claudel
2020-04-26Document the signing procedure of released binary packages.Pierre-Marie Pédrot
2020-04-15[dev] [doc] Changes.Emilio Jesus Gallego Arias
2020-04-11[dune] [stdlib] Build the standard library natively with Dune.Emilio Jesus Gallego Arias
2020-03-22Centralizing all kinds of numeral string management in numTok.ml.Hugo Herbelin
2020-03-19[ocamformat] Update to 0.13.0Emilio Jesus Gallego Arias
2020-03-13Deprecation of catchable_exception, to be replaced by noncritical in try-with.Hugo Herbelin
2020-03-06Merge PR #11717: [dune] [ocamldebug] Improve ocamldebug rulesGaëtan Gilbert
2020-03-01[dune] [doc] Be more explicit coqtop dependenciesEmilio Jesus Gallego Arias
2020-02-29[dune] [ocamldebug] Improve ocamldebug rulesEmilio Jesus Gallego Arias
2020-02-24[exn] Forbid raising in exn printers, make them return Pp.t optionEmilio Jesus Gallego Arias
2020-02-22Making structure of type "tolerability" and related clearer.Hugo Herbelin
2020-02-19Merge PR #11302: Add --fuzz, --real, --user to timing scriptsEmilio Jesus Gallego Arias
2020-02-14Merge PR #11468: [doc] fix typo & update release-process.md for opam/docker p...Théo Zimmermann
2020-02-13Merge PR #11450: Publishing a new version on Zenodo: not a relevant step for ...Emilio Jesus Gallego Arias
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2020-02-04Non maximal implicits: entry in dev/doc/changes.mdSimonBoulier
2020-01-28docs: Update release-process.md about opam/docker packagingErik Martin-Dorel
2020-01-28Merge PR #11379: [ocaml] Remove Custom Backtrace module in favor of OCaml'sPierre-Marie Pédrot
2020-01-25Publishing a new version on Zenodo: not a relevant step for beta versions.Théo Zimmermann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:46:51 +0000