]> matita.cs.unibo.it Git - helm.git/history - components/hgdome/Makefile
GrafiteAst.Search_pat and GrafiteAst.Search_term (both unused) removed.
[helm.git] / components / hgdome / Makefile
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/