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