]> matita.cs.unibo.it Git - helm.git/commit
some improvement for parameters, configuration
authorLuca Padovani <luca.padovani@unito.it>
Tue, 13 Feb 2001 13:46:34 +0000 (13:46 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 13 Feb 2001 13:46:34 +0000 (13:46 +0000)
commitf06e2c5a7757ef9dc8cd55fa759cbc48616cb508
tree7372774606d24bb8fa06fbf5a2ea77def8ac876d
parentef8d99e27438595b185d7a31c7bc01859067b5b8
some improvement for parameters, configuration
helm/interface/getter.ml
helm/interface/styleConfiguration.ml
helm/interface/xsltProcessorHTTP.ml