aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Strings/vo.itarget
Commit message (Expand)AuthorAge
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09