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