From: Luca Padovani Date: Tue, 9 Nov 2004 08:22:37 +0000 (+0000) Subject: * added stylesheet to render the results X-Git-Tag: v_0_6_4_1~13 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7d5ec74ada917be3e660b70281c0b262316a5634;p=helm.git * added stylesheet to render the results --- diff --git a/helm/papers/use_case/stats/mkhtml.xsl b/helm/papers/use_case/stats/mkhtml.xsl new file mode 100644 index 000000000..643d485a3 --- /dev/null +++ b/helm/papers/use_case/stats/mkhtml.xsl @@ -0,0 +1,69 @@ + + + + + + + + + + + + + + + + + + + + +
NNodesInner nodes/Leaf elements/Text nodesDepth (max/leaf avg)Width (max/inner avg)Attributes (max/total)Object
+ + + + + + + + + + + + + + + / + + / + + + + + / + + + + + / + + + + + / + + + + + + + + + +