aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2021-02-22Fix the release process checklist with respect to the refman update.Théo Zimmermann
2021-02-17Add an entry to file critical-bugs.Guillaume Melquiond
2021-02-04Update release process following coq/ceps#52.Théo Zimmermann
2021-02-04Merge PR #13528: [RM] Script to list the contributors between two git revisionscoqbot-app[bot]
2021-02-04Use release branch instead of master.Théo Zimmermann
2021-01-21Add missing item about PDF manual to release checklist.Théo Zimmermann
2021-01-04Document the change of case representation.Pierre-Marie Pédrot
2020-12-15Merge PR #13615: Document the manual tasks that I need to do at each release.coqbot-app[bot]
2020-12-11Removing non relevant argument binding_kind of GLocalDef.Hugo Herbelin
2020-12-11Document the manual tasks that I need to do at each release.Théo Zimmermann
2020-12-09[rm] announcements to discourseEnrico Tassi
2020-12-08Update dev/doc/release-process.mdEnrico Tassi
2020-12-07[rm] manual is uploaded by CIEnrico Tassi
2020-12-07[rm] update instructions for windows signingEnrico Tassi
2020-12-04[rm] clarify process for is_a_released_version = trueEnrico Tassi
2020-12-04[rm] update git commands to push tagsEnrico Tassi
2020-11-30list-contributors scriptMatthieu Sozeau
2020-11-27[RM] script to notify "platform" projects to tagEnrico Tassi
2020-11-20Make sure accumulators do not exceed the minor heap (partly fix #11170).Guillaume Melquiond
2020-11-15[dune] [opam] Generate opam files automatically using Dune.Emilio Jesus Gallego Arias
2020-11-12Merge PR #13253: Change Dumpglob.pause and Dumpglob.continue into push and popcoqbot-app[bot]
2020-11-12Change Dumpglob.pause and Dumpglob.continue into push and popLasse Blaauwbroek
2020-11-12Add documentation about the soundness bug.Pierre-Marie Pédrot
2020-11-02Update screenshot of shield icon (shown in CONTRIBUTING).Théo Zimmermann
2020-10-27Rename tactic_expr -> ltac_exprJim Fehrle
2020-10-14Deprecating wit_var to the benefit of its synonymous wit_hyp.Hugo Herbelin
2020-10-10Prim.pattern_ident takes a location and its synonymous pattern_identref is de...Hugo Herbelin
2020-10-08Dropping the misleading int argument of Pp.h.Hugo Herbelin
2020-10-04Merge PR #13096: Drop prefixes from non-terminal names, e.g. "constr:constr" ...coqbot-app[bot]
2020-10-04Remove prefixes on nonterminal names, e.g. "constr:" and "Prim."Jim Fehrle
2020-09-28Document the ocamlformat changes.Pierre-Marie Pédrot
2020-09-22Fixes #9716, #13004: don't drop the qualifier of quotations at printing time.Hugo Herbelin
2020-08-03More documentation on grammars and parsingJim Fehrle
2020-07-01UIP in SPropGaëtan Gilbert
2020-06-09Update dev/doc/critical-bugsPierre Roux
2020-05-18Update release-process.mdEnrico Tassi
2020-05-18Update release-process.mdEnrico Tassi
2020-05-18Update to 8.13.Théo Zimmermann
2020-05-15Update dev/doc/release-process.mdEnrico Tassi
2020-05-15Clarify release-process.mdEnrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:24:04 +0000