aboutsummaryrefslogtreecommitdiff
path: root/lib/option.ml
AgeCommit message (Expand)Author
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-08-29Canonically renaming fold_map into fold_left_map in library Option.Hugo Herbelin
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-05Cosmetic: unifying style within option.ml.Hugo Herbelin
2017-05-05Upgrading some local function as a general-purpose combinator Option.List.map.Hugo Herbelin
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-12-18COMMENTS: updated in the "Option" module.Matej Kosik
2015-01-12Update headers.Maxime Dénès
2014-11-01Add an [Info Level] option to print info traces automatically.Arnaud Spiwack
2014-03-03Fixing generic hashes and replacing them with proper ones.Pierre-Marie Pédrot
2014-03-01Fixing pervasive comparisonsPierre-Marie Pédrot
2012-12-13Renamed Option.Misc.compare to the more uniform Option.equal.ppedrot
2012-11-22Monomorphization (lib)ppedrot
2012-08-08Updating headers.herbelin
2012-03-02Noise for nothingpboutill
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-12-21Generic support for open terms in tacticsherbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-10-23Open notation for declaring record instances.msozeau
2008-04-01Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientherbelin
2007-12-14Petite correction de Option.default (default faisait un Option.map aspiwack
2007-12-07Util.option_compare devient Option.Misc.Compare et change un peu de type aspiwack
2007-12-06Plus de combinateurs sont passés de Util à Option. Le module Options aspiwack
2007-12-06Commit intermédiaire express de réparation de coqide.ml, que j'avais aspiwack
2007-12-05Factorisation des opérations sur le type option de Util dans un module aspiwack
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:33:05 +0000