]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/configure.ac
$FINDLIB_CREQUIRES \
lablgtk2.glade \
lablgtkmathview \
$FINDLIB_CREQUIRES \
lablgtk2.glade \
lablgtkmathview \
helm-xmldiff \
helm-paramodulation \
"
helm-xmldiff \
helm-paramodulation \
"