Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed the itarget of the previous commit... | 2012-01-06 | |
* | Added a typeclass-based system to reason on decidable propositions. | 2012-01-06 | |
* | Cleanup in Classes, removing unsupported code. | 2010-02-11 | |
* | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | 2009-12-09 |