]> matita.cs.unibo.it Git - helm.git/commit
New framework for metadata generation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 13:12:40 +0000 (13:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 13:12:40 +0000 (13:12 +0000)
commit407c75f92f1a641dc49243209cd246f6affd924d
treebf696b2c64ae22606d738e06e431147845ac0509
parentf9c4a1158888982406aca8960b6d50cdce677507
New framework for metadata generation.

NOTE: from this release on the metadata are inserted into a MySQL DB.
14 files changed:
helm/metadata/Makefile [new file with mode: 0644]
helm/metadata/dc/Makefile [new file with mode: 0644]
helm/metadata/dc/fill_db.pl [new file with mode: 0755]
helm/metadata/dc/sql/create_dc_tables.sql [new file with mode: 0644]
helm/metadata/dc/sql/drop_dc_tables.sql [new file with mode: 0644]
helm/metadata/extractor/.cvsignore [new file with mode: 0644]
helm/metadata/extractor/Makefile [new file with mode: 0644]
helm/metadata/extractor/README [new file with mode: 0644]
helm/metadata/extractor/meta_lex.l [new file with mode: 0644]
helm/metadata/extractor/meta_lex_ind.l [new file with mode: 0644]
helm/metadata/extractor/sthandler.c [new file with mode: 0644]
helm/metadata/extractor/sthandler.h [new file with mode: 0644]
helm/metadata/extractor/sthandler_ind.c [new file with mode: 0644]
helm/metadata/extractor/sthandler_ind.h [new file with mode: 0644]