]> matita.cs.unibo.it Git - helm.git/commit
New metadata for sort and rel.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 19 Nov 2002 15:47:20 +0000 (15:47 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 19 Nov 2002 15:47:20 +0000 (15:47 +0000)
commitcb9f345924b8595b2e4922326ff335af133e46ce
tree5d25889463b3f4652f745bc6b676abdf7c2585db
parent49e52032242e39eba0cf24ca16a37c84b52cc356
New metadata for sort and rel.
New metadata schemas.
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
helm/metadata/create_V7_mowgli/METADATA/sthandler.c
helm/metadata/create_V7_mowgli/METADATA/sthandler.h
helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h