aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc
Commit message (Expand)AuthorAge
* Evar maps contain econstrs.Gravatar Gaëtan Gilbert2018-04-13
* 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
* Change OCAMLRUNPARAM warning to mention OCaml 4.06Gravatar Paul Steckler2017-11-13
* [api] Remove 8.7 ML-deprecated functions.Gravatar Emilio Jesus Gallego Arias2017-11-07
* Merge PR #6047: A generic printer for ltac valuesGravatar Maxime Dénès2017-11-03
|\
* \ Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/d...Gravatar Maxime Dénès2017-11-03
|\ \
* \ \ Merge PR #6024: Update of Coq version historyGravatar Maxime Dénès2017-11-03
|\ \ \
| | | * Using a specific function to register vernac printers.Gravatar Hugo Herbelin2017-11-02
| |_|/ |/| |
| | * Mention the migration from Bugzilla to GitHub issues in dev/doc/changes.Gravatar Théo Zimmermann2017-10-27
* | | Passing around the flag for injection so that tactics calling inj atGravatar Hugo Herbelin2017-10-26
| |/ |/|
| * Updating version history wrt 8.7.Gravatar Hugo Herbelin2017-10-26
| * Updating version history wrt 8.6.Gravatar Hugo Herbelin2017-10-26
| * Updating version history wrt 8.5.Gravatar Hugo Herbelin2017-10-26
|/
* [configure] Support for flambda flags.Gravatar Emilio Jesus Gallego Arias2017-10-10
* Extract changes to the XML protocol from its docGravatar Théo Zimmermann2017-10-06
* Make the XML protocol doc more version-independentGravatar Théo Zimmermann2017-10-06
* Improve documentation of Status message.Gravatar Maxime Dénès2017-09-19
* Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...Gravatar Maxime Dénès2017-09-15
|\
* \ Merge PR #962: Move dev/doc/changes to Markdown.Gravatar Maxime Dénès2017-09-15
|\ \
* \ \ Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaroundGravatar Maxime Dénès2017-08-31
|\ \ \
| * | | mention issue with OCAMLRUNPARAM and ocamldebugGravatar Paul Steckler2017-08-29
| | | * [general] Merge parsing with highparsing, put toplevel at the top of the link...Gravatar Emilio Jesus Gallego Arias2017-08-29
| | |/ | |/|
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-22 10:20:41 +0000