aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega/vo.itarget
Commit message (Expand)AuthorAge
* micromega: removal of spurious Export; addition of Lia.v encapsulating lia an...Gravatar Frédéric Besson2013-12-20
* micromega: remove empty file CheckerMakerGravatar letouzey2013-08-22
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09