X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Ftests%2Fsample.xml;h=b0f91f30b4e48d4190b3fbd93cd1988a334f2825;hb=acd31bfb9537bd32781404241c80bd0ebf88e3b1;hp=33e1c65897449adb68669726985f15f027b8e3e7;hpb=bae55b6a8409d2a5b852544c26283a926ba01abf;p=helm.git
diff --git a/helm/ocaml/registry/tests/sample.xml b/helm/ocaml/registry/tests/sample.xml
index 33e1c6589..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
@@ -19,21 +28,6 @@
19
19 23.2
-
-
-
- /public/helm_library
- $(triciclo.basedir)/constanttype
- $(triciclo.basedir)/environment
- $(triciclo.basedir)/innertypes
- $(triciclo.basedir)/currentproof
- $(triciclo.basedir)/currentprooftype
-