<key name="basedir">$(user.home)/.matita</key>
<!-- Where support files are installed -->
<key name="rt_base_dir">@RT_BASE_DIR@</key>
+ <!-- Location of the svn repository of the shared library -->
+ <key name="weblib">svn+ssh://ricciott@mowgli.cs.unibo.it/local/svn/helm/trunk/weblib</key>
<!-- Metadata owner. It will be used to create user-specific tables
in the SQL database. -->
<key name="owner">$(user.name)</key>