aboutsummaryrefslogtreecommitdiff
path: root/library/goptions.ml
AgeCommit message (Expand)Author
2019-04-30Remove Global.env from goptions by passing from vernacentriesGaëtan Gilbert
2019-04-10Remove calls to global env in InductiveopsMaxime Dénès
2018-12-13Move shallow state logic to the function preparing state for workersMaxime Dénès
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-11-28[options] New helper for creation of boolean options plus reference.Emilio Jesus Gallego Arias
2018-11-23Goptions.declare_* functions return unit instead of a write_functionGaëtan Gilbert
2018-11-05[Goptions] More detailed error messagesVincent Laporte
2018-09-20Rewrite "Flags, Options and Tables" section.Jim Fehrle
2018-07-26Add information to option type errorsTej Chajed
2018-06-18Remove reference name type.Maxime Dénès
2018-03-09Implement the Export Set/Unset feature.Pierre-Marie Pédrot
2018-03-09Export the various option localities in the API.Pierre-Marie Pédrot
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-05-27[cleanup] Unify all calls to the error function.Emilio Jesus Gallego Arias
2017-05-24[option] Remove support for non-synchronous options.Emilio Jesus Gallego Arias
2017-04-27Remove unused [open] statementsGaetan Gilbert
2016-12-19Use Pp.quote in string options.Maxime Dénès
2016-11-18Merge branch 'v8.6'Pierre-Marie Pédrot
2016-11-02Fix various shortcomings of the warnings infrastructure.Maxime Dénès
2016-11-02Put string between quotes when printing an option value.Maxime Dénès
2016-10-05Merge branch 'v8.6'Pierre-Marie Pédrot
2016-10-04Changing the separator for appended string options to comma.Maxime Dénès
2016-10-01Allow appending to string options.Guillaume Melquiond
2016-09-08Merge PR #244.Pierre-Marie Pédrot
2016-09-06A proposal to unify the messages given by Test and Print Options (#5062).Hugo Herbelin
2016-08-19Make the user_err header an optional parameter.Emilio Jesus Gallego Arias
2016-08-19Remove errorlabstrm in favor of user_errEmilio Jesus Gallego Arias
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-01-20Update copyright headers.Maxime Dénès
2015-10-08Goptions: new value type: optional stringEnrico Tassi
2015-04-23Remove almost all the uses of string concatenation when building error messages.Guillaume Melquiond
2015-02-17Deprecated options issue a warning.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-03-03Goptions do not rely anymore on generic equality.Pierre-Marie Pédrot
2013-10-24More monomorphic List.mem + List.assoc + ...letouzey
2013-10-24Turn many List.assoc into List.assoc_fletouzey
2013-09-27Removing a bunch of generic equalities.ppedrot
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-08-25Added a more efficient way to recover the domain of a map.ppedrot
2013-05-08Uniformizing the [if_warn] flag used for warning printing and putppedrot
2013-05-06States: frozen states can hold closuresgareuselesinge
2013-04-22code simplifications concerning Summaryletouzey
2013-01-28Uniformization of the "anomaly" command.ppedrot
2013-01-27Improving formatting of output of "Test table".herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 18:27:36 +0000