aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/store.ml
Commit message (Expand)AuthorAge
* Safer version of the implementation of stores.Gravatar Pierre-Marie Pédrot2015-01-06
* An outdated comment + comment layout.Gravatar Arnaud Spiwack2014-07-11
* Better implementation for stores.Gravatar ppedrot2013-11-16
* Restrict (try...with...) to avoid catching critical exn (part 4)Gravatar letouzey2013-03-12
* Allowing different types of, not to be mixed, generic Stores throughGravatar ppedrot2013-03-12
* Moved Intset and Intmap to Int namespace.Gravatar ppedrot2012-12-14
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Here comes the commit, announced long ago, of the new tactic engine.Gravatar aspiwack2010-04-22