pcre \
mysql \
helm-registry \
-helm-cic_textual_parser2 \
+helm-cic_disambiguation \
+helm-paramodulation \
"
FINDLIB_CLEANREQUIRES="$FINDLIB_DEPREQUIRES"
FINDLIB_CREQUIRES="\
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
])