unix \
helm-cic_omdoc \
helm-tactics \
+helm-paramodulation \
helm-xml \
"
FINDLIB_REQUIRES="\
fi
RT_BASE_DIR=`pwd`
-USER_HOME=`echo $HOME`
+USER_HOME=`pwd` #should be `echo $HOME`
USER_NAME=`echo $USER`
AC_SUBST(CAMLP4O)
matita.conf.xml.sample
buildTimeConf.ml
Makefile
+ gtkmathview.matita.conf.xml
])