aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc
Commit message (Expand)AuthorAge
* 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
| | |/ | |/|
* | | Adapt debugging doc to configure/Makefile changes.Gravatar Théo Zimmermann2017-08-29
* | | Move debugging to Markdown.Gravatar Théo Zimmermann2017-08-29
|/ /
| * Move dev/doc/changes to Markdown.Gravatar Théo Zimmermann2017-08-29
|/
* Merge PR #819: Cleanup old thingsGravatar Maxime Dénès2017-08-29
|\
* | Mention tclINDEPENDENTL (#349) in dev/doc/changes.Gravatar Théo Zimmermann2017-08-16
| * Remove obsolete filesGravatar Gaëtan Gilbert2017-08-01
| * Add .v extension to dev/doc/notes-on-conversionGravatar Gaëtan Gilbert2017-08-01
|/
* Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.Gravatar Maxime Dénès2017-08-01
|\
* \ Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadGravatar Maxime Dénès2017-07-31
|\ \
* \ \ Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceGravatar Maxime Dénès2017-07-28
|\ \ \
| | | * [toplevel] Remove long ago deprecated and NOOP options.Gravatar Emilio Jesus Gallego Arias2017-07-27
| |_|/ |/| |