Commit message (Expand) | Author | Age | |
---|---|---|---|
* | drop vo.itarget files and compute the corresponding the corresponding values ... | 2017-06-01 | |
* | Update and start testing rewrite-in-type code. | 2014-05-09 | |
* | 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 |