]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/tests/sample.xml
added homepage URL, now we have one
[helm.git] / helm / ocaml / registry / tests / sample.xml
index e8ebdc76bbb7478a4adf477dcbd98659142375b9..33e1c65897449adb68669726985f15f027b8e3e7 100644 (file)
@@ -17,6 +17,7 @@
     <key name="int_list">13</key>
     <key name="int_list">17</key>
     <key name="int_list">19</key>
+    <key name="int_float_pair">19 23.2</key>
   </section>
   <section name="triciclo">
     <section name="foo1">