]> matita.cs.unibo.it Git - helm.git/commit
Menu in JavaScript substituted to multi-area links. Cool.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Oct 2001 16:34:38 +0000 (16:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Oct 2001 16:34:38 +0000 (16:34 +0000)
commit719bf6e8e122161414a94763cd1557fa323360ea
tree2cdcfac254b28d5ceee86e484742040f1d1a1cac
parent20ed1380a16eedf7871ba9d7192fed71151998df
Menu in JavaScript substituted to multi-area links. Cool.
helm/graphs/tools/mk_html.pl