<entry> <filename>/usr/local/matita/</filename> </entry>
<entry> <para> Runtime base directory where all &appname; stuff
(executables, configuration files, standard
<entry> <filename>/usr/local/matita/</filename> </entry>
<entry> <para> Runtime base directory where all &appname; stuff
(executables, configuration files, standard