<!-- Debug only. Stay away. -->
<!-- <key name="environment_trust">true</key> -->
<key name="basedir">$(user.home)/.matita</key>
<!-- Debug only. Stay away. -->
<!-- <key name="environment_trust">true</key> -->
<key name="basedir">$(user.home)/.matita</key>