]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/binaries/matitaprover/Makefile
projects / helm.git / blob
? search:


6d26497859b47b15f3b3b81c6de0935861bb2a46
[helm.git] / helm / software / components / binaries / matitaprover / Makefile
1 all:
2         ocamlbuild matitaprover.native
3
4 clean:
5         ocamlbuild -clean
Unnamed repository; edit this file 'description' to name the repository.