]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dc6f6e) | patch
* new version of metadata extraction
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 1 Oct 2003 08:39:17 +0000 (08:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 1 Oct 2003 08:39:17 +0000 (08:39 +0000)
commitcdb45d73b98f6abaf670229b48a8442e1db902fc
treea0128d2d215d89b77dd54466f01555df8e18b55dtree | snapshot
parent6dc6f6e97cb85d5b51fbf5d14a9f87b24b2964cdcommit | diff
* new version of metadata extraction
* metadata are inserted directly without creating the RDF document
helm/metadata/create_V7_mowgli/METADATA/Makefile diff | blob | history
helm/metadata/create_V7_mowgli/METADATA/meta_lex.l diff | blob | history
helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l diff | blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler.c diff | blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler.h diff | blob | history
helm/metadata/create_V7_mowgli/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.