aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/store.mli
Commit message (Expand)AuthorAge
* Fix FIXME: use OCaml 4.02 generative functors when available.Gravatar Gaƫtan Gilbert2017-11-01
* Allowing different types of, not to be mixed, generic Stores throughGravatar ppedrot2013-03-12
* 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