aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega/vo.itarget
Commit message (Expand)AuthorAge
* Remove remaining vo.itarget files (obsolete since PR #499)Gravatar Pierre Letouzey2017-06-10
* 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