1 <?xml version="1.0" encoding="utf-8"?>
4 <!-- User home directory. Here a ".matita" directory will be created
5 and used to store the part of the library developed by the user. -->
6 <key name="home">$(HOME)</key>
7 <!-- User name. It is used down in this configuration file. If left
8 unspecified, name of the user executing matita will be used (as per
10 <key name="name">$(USER)</key>
12 <section name="matita">
13 <!-- Debug only. Stay away. -->
14 <!-- <key name="auto_disambiguation">true</key> -->
15 <!-- Debug only. Stay away. -->
16 <!-- <key name="environment_trust">true</key> -->
17 <key name="basedir">$(user.home)/.matita</key>
18 <!-- Where support files are installed -->
19 <key name="rt_base_dir">@RT_BASE_DIR@</key>
20 <!-- Metadata owner. It will be used to create user-specific tables
21 in the SQL database. -->
22 <key name="owner">$(user.name)</key>
23 <!-- Initial GUI font size. -->
24 <!-- <key name="font_size">10</key> -->
27 <!-- Access parameter to the (MySql) metadata database. They are not
28 needed if Matita is always run with -nodb, but this is _not_
29 recommended since a lot of features wont work.
30 Hint. The simplest way to create a database is:
31 0) # become an user with database administration privileges
32 1) mysqladmin create matita
33 2) echo "grant all privileges on matita.* to helm;" | mysql matita
34 Note that this way the database will be open to anyone, apply
35 stricter permissions if needed.
37 <key name="host">@DBHOST@</key>
38 <key name="user">helm</key>
39 <key name="database">matita</key>
41 <section name="getter">
42 <!-- Cache dir for CIC XML documents downloaded from the net.
43 Beware that this dir may become really space-consuming. It wont be
44 used if all prefexises below are local (i.e. "file:///" URI scheme).
46 <key name="cache_dir">$(user.home)/.matita/getter/cache</key>
47 <!-- "Prefixes", i.e.: mappings URI -> URL of the global library
48 Each prefix mapps an URI of the cic:/ namespace to an URL where the
49 documents can actually be accessed. URL can be in the "file://" or
50 "http://" scheme. Only "file://" scheme can be used to store
51 documents created by the user.
52 Each prefix may be given a list of attributes. Currently supported
54 - "legacy" for parts of the library not generated by Matita (e.g.
56 - "ro" for parts of the library which are not writable by the user
57 (e.g. the Matita standard library)
62 file://$(matita.rt_base_dir)/xml/standard-library/
67 file://$(user.home)/.matita/xml/matita/
71 file://@RT_BASE_DIR@/xml/legacy-library/coq/
76 file:///projects/helm/library/coq_contribs/