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


3bfd0c9ee1401f5b3f9f6d52e8b1ac42e9d92d79
[helm.git] / Makefile
1 theory_explorer: theory_explorer.ml
2         ocamlopt -rectypes -o theory_explorer unix.cmxa theory_explorer.ml
Unnamed repository; edit this file 'description' to name the repository.