aboutsummaryrefslogtreecommitdiff
path: root/library/goptions.ml
AgeCommit message (Expand)Author
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
2012-12-14Modulification of identifierppedrot
2012-11-22Monomorphization (library)ppedrot
2012-10-02Remove some more "open" and dead code thanks to OCaml4 warningsletouzey
2012-09-14Partial revert of Yann commit in order to use CLib.List when openingppedrot
2012-09-14This patch removes unused "open" (automatically generated fromregisgia
2012-08-08Updating headers.herbelin
2012-05-30Getting rid of Pp.msgppedrot
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-02Noise for nothingpboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 01:22:38 +0000