aboutsummaryrefslogtreecommitdiff
path: root/dev/doc
AgeCommit message (Expand)Author
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
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
2017-10-26Updating version history wrt 8.6.Hugo Herbelin
2017-10-26Updating version history wrt 8.5.Hugo Herbelin
2017-10-10[configure] Support for flambda flags.Emilio Jesus Gallego Arias
2017-10-06Extract changes to the XML protocol from its docThéo Zimmermann
2017-10-06Make the XML protocol doc more version-independentThéo Zimmermann
2017-09-19Improve documentation of Status message.Maxime Dénès
2017-09-15Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...Maxime Dénès
2017-09-15Merge PR #962: Move dev/doc/changes to Markdown.Maxime Dénès
2017-08-31Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaroundMaxime Dénès
2017-08-29mention issue with OCAMLRUNPARAM and ocamldebugPaul Steckler
2017-08-29[general] Merge parsing with highparsing, put toplevel at the top of the link...Emilio Jesus Gallego Arias
2017-08-29Adapt debugging doc to configure/Makefile changes.Théo Zimmermann
2017-08-29Move debugging to Markdown.Théo Zimmermann
2017-08-29Move dev/doc/changes to Markdown.Théo Zimmermann
2017-08-29Merge PR #819: Cleanup old thingsMaxime Dénès
2017-08-16Mention tclINDEPENDENTL (#349) in dev/doc/changes.Théo Zimmermann
2017-08-01Remove obsolete filesGaëtan Gilbert
2017-08-01Add .v extension to dev/doc/notes-on-conversionGaëtan Gilbert
2017-08-01Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.Maxime Dénès
2017-07-31Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadMaxime Dénès
2017-07-28Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceMaxime Dénès
2017-07-27[toplevel] Remove long ago deprecated and NOOP options.Emilio Jesus Gallego Arias
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-26Merge PR #886: Fixing what was presumably a typo in the naming conventions fileMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:39:48 +0000