X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fmkhtml.xsl;h=a61576aecfa3cca7d248d9549faccaf00f59d8e9;hb=2bf27fdf892c66e309600400a3b3ec292f796039;hp=b372db3fa10e014669ab8fe08afca61b894607ef;hpb=14af03e871b8b2bb19c313a1ea67f26ae4506922;p=helm.git diff --git a/helm/papers/use_case/stats/mkhtml.xsl b/helm/papers/use_case/stats/mkhtml.xsl index b372db3fa..a61576aec 100644 --- a/helm/papers/use_case/stats/mkhtml.xsl +++ b/helm/papers/use_case/stats/mkhtml.xsl @@ -14,16 +14,22 @@
N | -Nodes | Size (bytes) | -Inner nodes/Leaf elements/Text nodes | -Depth (max/leaf avg) | -Width (max/inner avg) | -Attributes (max/total) | +Elements | +Max depth | +Object |
---|