]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/registry/tests/sample.xml
abstracted pretty printers over inner pretty printing units (terms, lazy terms, and...
[helm.git] / helm / ocaml / registry / tests / sample.xml
1 <?xml version="1.0" encoding="utf-8"?>
2 <helm_registry>
3   <section name="annotations">
4     <key name="dir">file:///home/zack/miohelm/objects</key>
5     <key name="url">file:///home/zack/miohelm/objects</key>
6   </section>
7   <section name="getter">
8     <key name="mode">remote</key>
9     <key name="url">http://localhost:58081</key>
10   </section>
11   <section name="triciclo">
12     <key name="merge1">yes</key>
13   </section>
14   <section name="triciclo">
15     <include href="sample_include.xml" />
16   </section>
17   <section name="triciclo">
18     <key name="merge2">yes</key>
19   </section>
20   <section name="types">
21     <key name="string">debian</key>
22     <key name="int">1</key>
23     <key name="bool">false</key>
24     <key name="float">2.5</key>
25     <key name="int_list">11</key>
26     <key name="int_list">13</key>
27     <key name="int_list">17</key>
28     <key name="int_list">19</key>
29     <key name="int_float_pair">19 23.2</key>
30   </section>
31   <section name="uwobo">
32     <key name="url">http://localhost:58080/</key>
33   </section>
34 </helm_registry>