]> matita.cs.unibo.it Git - helm.git/commitdiff
Support for automatic stylesheet configuration retrieval started
authorLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 16:06:55 +0000 (16:06 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 16:06:55 +0000 (16:06 +0000)

No differences found