]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afb3318) | patch
----------------------------------------------------------------------
authorIrene Schena <irene.schena@unibo.it>
Mon, 10 Dec 2001 16:28:04 +0000 (16:28 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 10 Dec 2001 16:28:04 +0000 (16:28 +0000)
commitb585030cb67e164ec9a043abcd938be756d9ad1f
treec34e5a297bfd652948e64c19f127d6f8ef007699tree | snapshot
parentafb33189adbdcd6f9b62a3c8718e9a514ddcffbecommit | diff
----------------------------------------------------------------------
Modified Files:
1) schema-h.rdf, schema-hth.rdf: updated DC schemas + class and
property refinements + value types.
----------------------------------------------------------------------
helm/schemas/schema-h.rdf diff | blob | history
helm/schemas/schema-hth.rdf diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.