aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15git / gpg integration linkMatthieu Sozeau
2018-05-04[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.Emilio Jesus Gallego Arias
2018-04-25Merge PR #7290: Update debugging.mdHugo Herbelin
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
2018-04-23Merge PR #7240: [doc] [engine] Document `abort_on_undefined_evars`.Pierre-Marie Pédrot
2018-04-19Merge PR #7219: merge script support https + typos in docMaxime Dénès
2018-04-15Update debugging.mdJasper Hugunin
2018-04-15[doc] [engine] Document `abort_on_undefined_evars`.Emilio Jesus Gallego Arias
2018-04-13Evar maps contain econstrs.Gaëtan Gilbert
2018-04-11merge script support https + typos in docPierre Courtieu
2018-04-05Add note for homebrew users.Théo Zimmermann
2018-04-05Some advice about merge script dependencies.Théo Zimmermann
2018-04-05Improve the MERGING doc.Théo Zimmermann
2018-03-23More precise wording about the merge process.Maxime Dénès
2018-03-21Refine a bit the decentralized merging process.Maxime Dénès
2018-03-19Describe new merging process.Maxime Dénès
2018-03-06document -profile in dev/doc/setup.txtEnrico Tassi
2018-02-28Merge PR #6812: Rename release_lexer_state to the more descriptive get_lexer_...Maxime Dénès
2018-02-22Tweak developer documentation.Jim Fehrle
2018-02-22[ast] Improve precision of Ast location recognition in serialization.Emilio Jesus Gallego Arias
2018-02-19Merge PR #6771: [engine] Remove ghost parameter from `Proofview.Goal.t`Maxime Dénès
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2018-02-12[engine] Remove ghost parameter from `Proofview.Goal.t`Emilio Jesus Gallego Arias
2018-02-05[stm] [toplevel] Make loadpath a parameter of the document.Emilio Jesus Gallego Arias
2018-01-23Merge PR #6629: Archive COMPATIBILITYMaxime Dénès
2018-01-22Archive COMPATIBILITY.Théo Zimmermann
2018-01-22Merge PR #6550: Remove outdated note about rlwrap in setup.txtMaxime Dénès
2018-01-08Stop talking about debian in "A note about rlwrap"Gaëtan Gilbert
2018-01-08Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Maxime Dénès
2017-12-29Add instructions for debugging from the command line (and in Windows)Jim Fehrle
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-26[ide] [doc] Document tweak to Query call.Emilio Jesus Gallego Arias
2017-12-18Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.Maxime Dénès
2017-12-15[econstr] Switch constrintern API to non-imperative style.Emilio Jesus Gallego Arias
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-09[api] Remove yet another type alias.Emilio Jesus Gallego Arias
2017-12-09[lib] Rename Profile to CProfileEmilio Jesus Gallego Arias
2017-11-29[lib] [api] Introduce record for `object_prefix`Emilio Jesus Gallego Arias
2017-11-13Change OCAMLRUNPARAM warning to mention OCaml 4.06Paul Steckler
2017-11-07[api] Remove 8.7 ML-deprecated functions.Emilio Jesus Gallego Arias
2017-11-03Merge PR #6047: A generic printer for ltac valuesMaxime Dénès
2017-11-03Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/d...Maxime Dénès
2017-11-03Merge PR #6024: Update of Coq version historyMaxime Dénès
2017-11-02Using a specific function to register vernac printers.Hugo Herbelin
2017-10-27Mention the migration from Bugzilla to GitHub issues in dev/doc/changes.Théo Zimmermann
2017-10-26Passing around the flag for injection so that tactics calling inj atHugo Herbelin
2017-10-26Updating version history wrt 8.7.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 22:52:38 +0000