aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega/vo.itarget
Commit message (Expand)AuthorAge
* Accomodating #4166 (providing "Require Import OmegaTactic" as aGravatar Hugo Herbelin2015-04-01
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09