]> matita.cs.unibo.it Git - helm.git/commit
* New metadata for refSort and refRel
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Nov 2002 17:48:03 +0000 (17:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Nov 2002 17:48:03 +0000 (17:48 +0000)
commitbd0acf4e61bad9444b75d8f9822cf68eef06b69e
tree38ed21881769b64f4da01763d04daf0b723c6ba0
parentae7dbddb8d6f07470db18955cc614972603cc2a9
* New metadata for refSort and refRel
* New metadata schema
helm/metadata/create_V7_mowgli/Makefile
helm/metadata/create_V7_mowgli/fix_rdf.pl
helm/metadata/create_V7_mowgli/invert.pl