Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix FIXME: use OCaml 4.02 generative functors when available. | 2017-11-01 | |
* | Allowing different types of, not to be mixed, generic Stores through | 2013-03-12 | |
* | Remove the svn-specific $Id$ annotations | 2010-04-29 | |
* | Here comes the commit, announced long ago, of the new tactic engine. | 2010-04-22 |