index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
lib.mllib
Commit message (
Expand
)
Author
Age
*
Put Option in Clib
pboutill
2012-07-20
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Noise for nothing
pboutill
2012-03-02
*
Moving XML handling to lib directory
ppedrot
2011-11-24
*
Term: Refactoring of hashconsing
puech
2011-07-29
*
A new mechanism to handle errors.
aspiwack
2011-05-13
*
An generic imperative union-find, used for deps of evars in Class_tactics
letouzey
2011-02-11
*
Remove Safe_marshal
glondu
2011-01-06
*
Some dead code removal, thanks to Oug analyzer
letouzey
2010-09-24
*
Coqdep_boot : misc improvements
letouzey
2010-09-17
*
CoqIDE goes multiprocess
vgross
2010-05-31
*
Here comes the commit, announced long ago, of the new tactic engine.
aspiwack
2010-04-22
*
* Segmenttree: New. A very simple implementation of segment trees.
regisgia
2010-01-08
*
* Rewrite [classify_unicode] using standard unicode tables.
regisgia
2009-12-20
*
New functors for gmap and gset.
soubiran
2009-10-26
*
This big commit addresses two problems:
soubiran
2009-10-21
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-20