From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 6 Jul 2005 09:13:20 +0000 (+0000)
Subject: added docu comment
X-Git-Tag: V_0_7_1~72
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1b3aa3daa64f8b68aa08ff1c5458ba828398f897;p=helm.git

added docu comment
---

diff --git a/helm/ocaml/cic_transformations/mpresentation.mli b/helm/ocaml/cic_transformations/mpresentation.mli
index 60ba3c9e1..e322e92e1 100644
--- a/helm/ocaml/cic_transformations/mpresentation.mli
+++ b/helm/ocaml/cic_transformations/mpresentation.mli
@@ -61,6 +61,7 @@ and 'a row = Mtr of attr * 'a mtd list
 
 and 'a mtd = Mtd of attr * 'a mpres
 
+  (** XML attribute: namespace, name, value *)
 and attr = (string option * string * string) list
 
 ;;