]> matita.cs.unibo.it Git - helm.git/commit
Initial revision
authorLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 16:02:48 +0000 (16:02 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 16:02:48 +0000 (16:02 +0000)
commitf7cdd861bf43d3a8585103fb3bacd29f8a40a46e
tree866d44547128c82884900f59d440fbf7bb2c350c
parent255b967c56a97328ca17f30c3120cd7cda055c3f
Initial revision
helm/style/config/style-configuration.dtd [new file with mode: 0644]
helm/style/config/style-configuration.xml [new file with mode: 0644]