aboutsummaryrefslogtreecommitdiff
path: root/dev/doc/changes.txt
AgeCommit message (Expand)Author
2017-08-29Move dev/doc/changes to Markdown.Théo Zimmermann
2017-08-16Mention tclINDEPENDENTL (#349) in dev/doc/changes.Théo Zimmermann
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-17[API] Remove `open API` in ml files in favor of `-open API` flag.Emilio Jesus Gallego Arias
2017-07-14Fix a typo in dev/changes.Pierre-Marie Pédrot
2017-07-14Document the changes in API brought by this series of patches.Pierre-Marie Pédrot
2017-06-18[ide] Add route_id parameter to query call.Emilio Jesus Gallego Arias
2017-06-14Merge PR#622: Change the default flag value for Refine.refineMaxime Dénès
2017-06-13Dualize the unsafe flag of refine into typecheck and make it mandatory.Pierre-Marie Pédrot
2017-06-13Documenting the change of default flag value of Refine.refine.Pierre-Marie Pédrot
2017-06-04Added support for a side effect on constants in reduction functions.Thomas Sibut-Pinote
2017-06-01Merge PR#696: Trunk+cleanup constr of globalMaxime Dénès
2017-05-31Creating a module Nameops.Name extending module Names.Name.Hugo Herbelin
2017-05-29Cleanup: removal of constr_of_global.Matthieu Sozeau
2017-05-29Merge PR#512: [cleanup] Unify all calls to the error function.Maxime Dénès
2017-05-27[cleanup] Unify all calls to the error function.Emilio Jesus Gallego Arias
2017-05-27[coqlib] Move `Coqlib` to `library/`.Emilio Jesus Gallego Arias
2017-05-25Merge PR#637: Short cleaning of the interpretation path for constr_with_bindingsMaxime Dénès
2017-05-25Merge PR#481: [option] Remove support for non-synchronous options.Maxime Dénès
2017-05-24Merge branch 'trunk' into located_switchEmilio Jesus Gallego Arias
2017-05-24[option] Remove support for non-synchronous options.Emilio Jesus Gallego Arias
2017-05-22Clarifying the interpretation path for the "constr_with_binding" argument.Hugo Herbelin
2017-04-27Document the API changes.Pierre-Marie Pédrot
2017-04-25[located] [doc] Improve docs for `CAst.ast`.Emilio Jesus Gallego Arias
2017-04-25[location] Document changes.Emilio Jesus Gallego Arias
2017-04-12Merge PR#441: Port Toplevel to the Stm APIMaxime Dénès
2017-04-12[stm] Improve error messages on add/parse.Emilio Jesus Gallego Arias
2017-04-12[stm] Port the toplevel to the STM.Emilio Jesus Gallego Arias
2017-04-12[stm] Move main parsing entry point to the STM.Emilio Jesus Gallego Arias
2017-04-12Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r...Maxime Dénès
2017-03-24Documenting main changes of API.Hugo Herbelin
2017-03-23Improving the API of constrexpr_ops.mli.Hugo Herbelin
2017-03-22Merge PR#493: [safe-string] update dev/doc/changesMaxime Dénès
2017-03-21[pp] Make feedback the only logging mechanism.Emilio Jesus Gallego Arias
2017-03-21[safe-string] update dev/doc/changesEmilio Jesus Gallego Arias
2017-03-14Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFunMaxime Dénès
2017-02-17Documenting the pluginification of Ltac.Pierre-Marie Pédrot
2017-02-16[cleanup] Change Id.t option to Name.t in TacFunTej Chajed
2016-12-07Merge branch 'v8.6'Pierre-Marie Pédrot
2016-12-02Merge remote-tracking branch 'github/pr/372' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/368' into v8.6Maxime Dénès
2016-12-02Merge remote-tracking branch 'github/pr/369' into v8.6Maxime Dénès
2016-11-21(v8.6) Update dev/doc/changes.txt with HintsResolveEntry changesJason Gross
2016-11-21(v8.6) Update dev/doc/changes with things about mem_named_contextJason Gross
2016-11-21(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changesJason Gross
2016-11-21(v8.6) Add example in dev/doc/changes involving Tacmach.projectJason Gross
2016-11-18Merge branch 'v8.6'Pierre-Marie Pédrot
2016-11-16[doc] Mention XML protocol on changes.Emilio Jesus Gallego Arias
2016-10-24Merge branch 'v8.6'Pierre-Marie Pédrot
2016-10-20[search] Don't build intermediate lists in search.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:49:24 +0000