matita/components/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="tests/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>