]> matita.cs.unibo.it Git - helm.git/commit
Never really used. Functionality eventually replaced by the serialization.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 11:05:21 +0000 (11:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 11:05:21 +0000 (11:05 +0000)
commitb0de364855e0d68923d7567a18ce2dd09a7148e8
tree7ff405bfd69c4f9daf4e8d0b0736df17bb625734
parente8f0da12ea20a97083be016fc4e2a09688f786c8
Never really used. Functionality eventually replaced by the serialization.
helm/style/config/style-configuration.dtd [deleted file]
helm/style/config/style-configuration.xml [deleted file]