]> matita.cs.unibo.it Git - helm.git/commit
- split compound fields
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 9 Nov 2004 14:38:20 +0000 (14:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 9 Nov 2004 14:38:20 +0000 (14:38 +0000)
commitd7377569f9344c57927111f0a256d1fca07f6a4e
tree455496d3329ad593a4cb771f049b02df323a1198
parent1d3009ca459e81c9405ebfd1de8cc81e672b3fdb
- split compound fields
- rounded to integer floating point values
helm/papers/use_case/stats/mkhtml.xsl