X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Ftests%2Fsample.xml;h=b0f91f30b4e48d4190b3fbd93cd1988a334f2825;hb=400b07e007cfbb0b4ce5ed77cfc50f227c491310;hp=d08ce5644a9267e25e07075fe7d12e70f7e12655;hpb=e510bddb3826ec421b1e5f22ce972430994a410c;p=helm.git
diff --git a/helm/ocaml/registry/tests/sample.xml b/helm/ocaml/registry/tests/sample.xml
index d08ce5644..b0f91f30b 100644
--- a/helm/ocaml/registry/tests/sample.xml
+++ b/helm/ocaml/registry/tests/sample.xml
@@ -8,6 +8,15 @@
remote
http://localhost:58081
+
+
+
debian
1
@@ -17,22 +26,7 @@
13
17
19
- 19 23
-
-
-
-
- /public/helm_library
- $(triciclo.basedir)/constanttype
- $(triciclo.basedir)/environment
- $(triciclo.basedir)/innertypes
- $(triciclo.basedir)/currentproof
- $(triciclo.basedir)/currentprooftype
+ 19 23.2