X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Ftests%2Fsample.xml;h=b0f91f30b4e48d4190b3fbd93cd1988a334f2825;hb=acd31bfb9537bd32781404241c80bd0ebf88e3b1;hp=e41a603e7dfa517607c0c2c2928638cd7244c307;hpb=ec73398c63f6f2d1b05cc0c5a470e9b5f4e5219e;p=helm.git
diff --git a/helm/ocaml/registry/tests/sample.xml b/helm/ocaml/registry/tests/sample.xml
index e41a603e7..b0f91f30b 100644
--- a/helm/ocaml/registry/tests/sample.xml
+++ b/helm/ocaml/registry/tests/sample.xml
@@ -9,19 +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