aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc
Commit message (Expand)AuthorAge
* Merge PR #6057: Start a release process documentation.Gravatar Maxime Dénès2018-05-26
|\
* \ Merge PR #7574: Improve merging and overlay documentations.Gravatar Emilio Jesus Gallego Arias2018-05-24
|\ \
| * | Complete rewrite of the documentation of overlays after Jim's additional comm...Gravatar Théo Zimmermann2018-05-24
| * | Improve merging and overlay documentations.Gravatar Théo Zimmermann2018-05-24
* | | Document Smart/Array changes in dev/doc/Changes.md.Gravatar Hugo Herbelin2018-05-23
|/ /
* | Merge PR #6965: [api] Move universe syntax to `Glob_term`Gravatar Pierre-Marie Pédrot2018-05-18
|\ \
| | * Create a documentation for the release manager.Gravatar Théo Zimmermann2018-05-18
| |/ |/|
* | add unit tests to test suiteGravatar Paul Steckler2018-05-16
* | Update MERGING.mdGravatar Matthieu Sozeau2018-05-15
* | Update MERGING.mdGravatar Matthieu Sozeau2018-05-15
* | git / gpg integration linkGravatar Matthieu Sozeau2018-05-15
| * [api] Move universe syntax to `Glob_term`Gravatar Emilio Jesus Gallego Arias2018-05-08
|/
* [api] Rename `global_reference` to `GlobRef.t` to follow kernel style.Gravatar Emilio Jesus Gallego Arias2018-05-04
* Merge PR #7290: Update debugging.mdGravatar Hugo Herbelin2018-04-25
|\
* | [api] Relocate `intf` modules according to dependency-order.Gravatar Emilio Jesus Gallego Arias2018-04-23
* | Merge PR #7240: [doc] [engine] Document `abort_on_undefined_evars`.Gravatar Pierre-Marie Pédrot2018-04-23
|\ \
* \ \ Merge PR #7219: merge script support https + typos in docGravatar Maxime Dénès2018-04-19
|\ \ \
| | | * Update debugging.mdGravatar Jasper Hugunin2018-04-15
| |_|/ |/| |
| | * [doc] [engine] Document `abort_on_undefined_evars`.Gravatar Emilio Jesus Gallego Arias2018-04-15
| |/ |/|
* | Evar maps contain econstrs.Gravatar Gaëtan Gilbert2018-04-13
| * merge script support https + typos in docGravatar Pierre Courtieu2018-04-11
|/
* Add note for homebrew users.Gravatar Théo Zimmermann2018-04-05
* Some advice about merge script dependencies.Gravatar Théo Zimmermann2018-04-05
* Improve the MERGING doc.Gravatar Théo Zimmermann2018-04-05
* More precise wording about the merge process.Gravatar Maxime Dénès2018-03-23
* Refine a bit the decentralized merging process.Gravatar Maxime Dénès2018-03-21
* Describe new merging process.Gravatar Maxime Dénès2018-03-19
* document -profile in dev/doc/setup.txtGravatar Enrico Tassi2018-03-06
* Merge PR #6812: Rename release_lexer_state to the more descriptive get_lexer_...Gravatar Maxime Dénès2018-02-28
|\
| * Tweak developer documentation.Gravatar Jim Fehrle2018-02-22
* | [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
|/
* Merge PR #6771: [engine] Remove ghost parameter from `Proofview.Goal.t`Gravatar Maxime Dénès2018-02-19
|\
* | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| * [engine] Remove ghost parameter from `Proofview.Goal.t`Gravatar Emilio Jesus Gallego Arias2018-02-12
|/
* [stm] [toplevel] Make loadpath a parameter of the document.Gravatar Emilio Jesus Gallego Arias2018-02-05
* Merge PR #6629: Archive COMPATIBILITYGravatar Maxime Dénès2018-01-23
|\
| * Archive COMPATIBILITY.Gravatar Théo Zimmermann2018-01-22
* | Merge PR #6550: Remove outdated note about rlwrap in setup.txtGravatar Maxime Dénès2018-01-22
|\ \ | |/ |/|
| * Stop talking about debian in "A note about rlwrap"Gravatar Gaëtan Gilbert2018-01-08
* | Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...Gravatar Maxime Dénès2018-01-08
|\ \ | |/ |/|
| * Add instructions for debugging from the command line (and in Windows)Gravatar Jim Fehrle2017-12-29
* | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* | [ide] [doc] Document tweak to Query call.Gravatar Emilio Jesus Gallego Arias2017-12-26
|/
* Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.Gravatar Maxime Dénès2017-12-18
|\
| * [econstr] Switch constrintern API to non-imperative style.Gravatar Emilio Jesus Gallego Arias2017-12-15
* | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ | |/ |/|
| * [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* | [api] Remove yet another type alias.Gravatar Emilio Jesus Gallego Arias2017-12-09
| * [lib] Rename Profile to CProfileGravatar Emilio Jesus Gallego Arias2017-12-09
|/
* [lib] [api] Introduce record for `object_prefix`Gravatar Emilio Jesus Gallego Arias2017-11-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 18:40:33 +0000