X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fxml%2FxmlLibrary.ml;fp=helm%2Fsoftware%2Fhelena%2Fsrc%2Fxml%2FxmlLibrary.ml;h=dcc18c94b125a49c92928190820b68c278cc2b23;hb=2cf2e883f91164ce614bdc86b5c5e2419b98f68d;hp=3c77fe68bc3edb36620323035601e17ef76725a1;hpb=98fef490e55d1d780e8c0bb19de0218e08ae73b1;p=helm.git

diff --git a/helm/software/helena/src/xml/xmlLibrary.ml b/helm/software/helena/src/xml/xmlLibrary.ml
index 3c77fe68b..dcc18c94b 100644
--- a/helm/software/helena/src/xml/xmlLibrary.ml
+++ b/helm/software/helena/src/xml/xmlLibrary.ml
@@ -96,14 +96,23 @@ let name a =
    let f n r = "name", if r then n else "-" ^ n in 
    E.name err f a
 
-let apix a =
-   "position", string_of_int a.E.n_apix
-
 let layer st n =
    "layer", N.to_string st n
 
-let kind a =
-   "position", string_of_int a.E.n_sort
+let main a =
+   let sort, degr = a.E.n_main in
+   ["main-sort", string_of_int sort;
+    "main-degree", string_of_int degr;
+   ]
+
+let side a =
+   let sort, degr = a.E.n_side in
+   ["side-sort", string_of_int sort;
+    "side-degree", string_of_int degr;
+   ]
+
+let apix a =
+   "level", string_of_int a.E.n_apix
 
 let meta a =
    let map = function