aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2018-06-29Documenting the transition strategy of GEXTEND.Pierre-Marie Pédrot
2018-06-29Merge PR #7918: Mini-update of version history with recent changes.Théo Zimmermann
2018-06-29Splitting primitive numeral parser/printer for positive, N, Z into three files.Hugo Herbelin
2018-06-29Merge PR #7080: Swapping Context and Constr and defining declarations on cons...Maxime Dénès
2018-06-27Swapping Context and Constr: defining declarations on constr in Constr.Hugo Herbelin
2018-06-25Mini-update of version history with recent changes.Hugo Herbelin
2018-06-25Critical bugs: added #3243 and Gonthier's bug in lazy machine.Hugo Herbelin
2018-06-24Merge PR #7805: Towards listing the critical bugs of the history of Coq.Théo Zimmermann
2018-06-21Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3Maxime Dénès
2018-06-18Remove reference name type.Maxime Dénès
2018-06-15Very first try at listing the critical bugs of the history of Coq.Hugo Herbelin
2018-06-13Document how to restart failed CI jobs.Théo Zimmermann
2018-06-13Markdown docs: switch from absolute to relative links.Théo Zimmermann
2018-06-11[build] Fix checks and notes noting 4.02.1 instead of 4.02.3Emilio Jesus Gallego Arias
2018-06-08dev/doc/univpoly.{txt => md}, split off primitive projection infoGaëtan Gilbert
2018-06-04Documenting the API change.Pierre-Marie Pédrot
2018-05-31[api] Move `Constrexpr` to the `interp` module.Emilio Jesus Gallego Arias
2018-05-27[api] Make `vernac/` self-contained.Emilio Jesus Gallego Arias
2018-05-27Merge PR #7573: Remove unused Printer.printer_pr override mechanism.Hugo Herbelin
2018-05-26Merge PR #6057: Start a release process documentation.Maxime Dénès
2018-05-24Merge PR #7574: Improve merging and overlay documentations.Emilio Jesus Gallego Arias
2018-05-24Remove the unused printer_pr mechanism.Jim Fehrle
2018-05-24Complete rewrite of the documentation of overlays after Jim's additional comm...Théo Zimmermann
2018-05-24Improve merging and overlay documentations.Théo Zimmermann
2018-05-23Document Smart/Array changes in dev/doc/Changes.md.Hugo Herbelin
2018-05-18Merge PR #6965: [api] Move universe syntax to `Glob_term`Pierre-Marie Pédrot
2018-05-18Create a documentation for the release manager.Théo Zimmermann
2018-05-16add unit tests to test suitePaul Steckler
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15git / gpg integration linkMatthieu Sozeau
2018-05-08[api] Move universe syntax to `Glob_term`Emilio Jesus Gallego Arias
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-21Remove obsolete files from dev/docEnrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:50:46 +0000