]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/grafite/Makefile
INTERFACE_FILES = \
grafiteAstPp.mli \
INTERFACE_FILES = \
grafiteAstPp.mli \
grafiteMarshal.mli \
$(NULL)
IMPLEMENTATION_FILES = \
grafiteMarshal.mli \
$(NULL)
IMPLEMENTATION_FILES = \