]> matita.cs.unibo.it Git - helm.git/commit
*.rdf ==> *.xml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Nov 2002 14:37:36 +0000 (14:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Nov 2002 14:37:36 +0000 (14:37 +0000)
commitd510ba6f2339538b6b573842f4ec6e79f7f02df3
treed52f7b1b060f210868e6736b38b8f8c79a82269e
parent3636c82288ec11c3d411c11a446ab9e9693e623f
*.rdf ==> *.xml
helm/metadata/create_V7_mowgli/METADATA/lex.yy.c
helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l