X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fmkhtml.xsl;fp=helm%2Fpapers%2Fuse_case%2Fstats%2Fmkhtml.xsl;h=b372db3fa10e014669ab8fe08afca61b894607ef;hb=14af03e871b8b2bb19c313a1ea67f26ae4506922;hp=643d485a3df0dbfe77cc19eac22a76635b3837f0;hpb=d0db96d10fc88ad78e1e913d1b8a67e41f6bb976;p=helm.git

diff --git a/helm/papers/use_case/stats/mkhtml.xsl b/helm/papers/use_case/stats/mkhtml.xsl
index 643d485a3..b372db3fa 100644
--- a/helm/papers/use_case/stats/mkhtml.xsl
+++ b/helm/papers/use_case/stats/mkhtml.xsl
@@ -15,6 +15,7 @@
         <tr>
 	  <th>N</th>
 	  <th>Nodes</th>
+	  <th>Size (bytes)</th>
 	  <th>Inner nodes/Leaf elements/Text nodes</th>
 	  <th>Depth (max/leaf avg)</th>
 	  <th>Width (max/inner avg)</th>
@@ -34,6 +35,9 @@
     <td align="left">
       <xsl:value-of select="position()"/>
     </td>
+    <td align="left">
+      <xsl:value-of select="size"/>
+    </td>
     <td align="left">
       <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
     </td>