]> matita.cs.unibo.it Git - helm.git/commit
----------------------------------------------------------------------
authorIrene Schena <irene.schena@unibo.it>
Fri, 21 Dec 2001 16:47:13 +0000 (16:47 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 21 Dec 2001 16:47:13 +0000 (16:47 +0000)
commitd4b17db6764be4e7f693dab982ac66a54a5920eb
tree782ee28dd5cf7cd35fdb332be6cad735fdb2a6b4
parentf6a1458e8468f1171239f543f1d0392008320dc4
----------------------------------------------------------------------
Modified Files:
1) schema-h.rdf schema-hth.rdf: bugs fixed
----------------------------------------------------------------------
helm/schemas/schema-h.rdf
helm/schemas/schema-hth.rdf