]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/Makefile.common.in
Makefile improved: dependencies from libraries are now considered.
[helm.git] / helm / ocaml / Makefile.common.in
2001-12-03 Claudio Sacerdoti... Makefile improved: dependencies from libraries are...
2001-11-29 Claudio Sacerdoti... * .mli added where needed