1 <?xml version="1.0" encoding="utf-8"?>
3 <section name="package">
4 <key name="input_name">library</key>
5 <key name="output_name">library</key>
6 <key name="input_base_uri">cic:/matita</key>
7 <key name="output_base_uri">cic:/matita/procedural/library</key>
8 <key name="input_path">library</key>
9 <key name="output_path">contribs/procedural/library</key>
10 <key name="input_type">grafite</key>
11 <key name="output_type">procedural</key>
12 <key name="heading_lines">14</key>