X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fregistry%2Ftests%2Fsample.xml;h=b0f91f30b4e48d4190b3fbd93cd1988a334f2825;hb=67165a0c7b9141667a4c604d30c14ed33d73c726;hp=ac29f3373bdce552be68f03c91aad96a04d8786e;hpb=b5eb40eed8e03f2ac2059c3ec9ec5f078ae320af;p=helm.git
diff --git a/helm/ocaml/registry/tests/sample.xml b/helm/ocaml/registry/tests/sample.xml
index ac29f3373..b0f91f30b 100644
--- a/helm/ocaml/registry/tests/sample.xml
+++ b/helm/ocaml/registry/tests/sample.xml
@@ -9,12 +9,24 @@
http://localhost:58081
- /public/helm_library
- $(triciclo.basedir)/constanttype
- $(triciclo.basedir)/environment
- $(triciclo.basedir)/innertypes
- $(triciclo.basedir)/currentproof
- $(triciclo.basedir)/currentprooftype
+ yes
+
+
+
+
+ debian
+ 1
+ false
+ 2.5
+ 11
+ 13
+ 17
+ 19
+ 19 23.2