aboutsummaryrefslogtreecommitdiff
path: root/library/goptions.mli
AgeCommit message (Expand)Author
2020-04-20Move new iter_table function to Goptions.Théo Zimmermann
2020-04-20Improve undeclared key messages.Théo Zimmermann
2020-04-06Clean and fix definitions of options.Théo Zimmermann
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-12Remove Goptions.opt_name fieldGaëtan Gilbert
2019-06-25Merge PR #10284: Expose set interface to option tablesPierre-Marie Pédrot
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-06-03Expose set interface to option tablesGaëtan Gilbert
2019-04-30Remove Global.env from goptions by passing from vernacentriesGaëtan Gilbert
2019-04-16Command-line setters for optionsGaëtan Gilbert
2019-04-10Remove calls to global env in InductiveopsMaxime Dénès
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-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-05-24[option] Remove support for non-synchronous options.Emilio Jesus Gallego Arias
2016-11-02Fix various shortcomings of the warnings infrastructure.Maxime Dénès
2016-10-01Allow appending to string options.Guillaume Melquiond
2016-01-20Update copyright headers.Maxime Dénès
2016-01-06Protect code against changes in Map interface.Maxime Dénès
2015-10-08Goptions: new value type: optional stringEnrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2014-03-03Goptions do not rely anymore on generic equality.Pierre-Marie Pédrot
2012-08-08Updating headers.herbelin
2012-05-30Getting rid of Pp.msgppedrot
2012-05-29remove many excessive open Util & Errors in mli'sletouzey
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-02Noise for nothingpboutill
2011-12-21sequel of previous commitletouzey
2011-11-24Added a function to inspect current option state.ppedrot
2011-11-24Added a DEPRECATED flag in declaration of options. For now only two options a...ppedrot
2011-11-18Adding the type infrastructure to handle properly API management of optionsppedrot
2011-03-17Goptions: repair Unset for int optionsletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-08-14Ajout de la gestion de Local et Global pour les options (au sens deaspiwack
2009-08-02Improved parameterization of Coq:herbelin
2007-04-29Ajout possibilité d'options à trois mots.herbelin
2004-11-16Names.substitution (and related functions) and Term.subst_mps moved tosacerdot
2004-07-16Nouvelle en-têteherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:02:59 +0000