index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
option.ml
Commit message (
Expand
)
Author
Age
*
Fixing generic hashes and replacing them with proper ones.
Pierre-Marie Pédrot
2014-03-03
*
Fixing pervasive comparisons
Pierre-Marie Pédrot
2014-03-01
*
Renamed Option.Misc.compare to the more uniform Option.equal.
ppedrot
2012-12-13
*
Monomorphization (lib)
ppedrot
2012-11-22
*
Updating headers.
herbelin
2012-08-08
*
Noise for nothing
pboutill
2012-03-02
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Generic support for open terms in tactics
herbelin
2009-12-21
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Open notation for declaring record instances.
msozeau
2008-10-23
*
Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient
herbelin
2008-04-01
*
Petite correction de Option.default (default faisait un Option.map
aspiwack
2007-12-14
*
Util.option_compare devient Option.Misc.Compare et change un peu de type
aspiwack
2007-12-07
*
Plus de combinateurs sont passés de Util à Option. Le module Options
aspiwack
2007-12-06
*
Commit intermédiaire express de réparation de coqide.ml, que j'avais
aspiwack
2007-12-06
*
Factorisation des opérations sur le type option de Util dans un module
aspiwack
2007-12-05