]> matita.cs.unibo.it Git - helm.git/commit
New procedure to create metadata committed and old procedure removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 15:33:16 +0000 (15:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 15:33:16 +0000 (15:33 +0000)
commita12fefc78e783661fbb638907252d2265c6af9dd
tree0b65853dc6f9baaafd5392131578c291d9aba5c5
parent90777831624ec55c4b68bdb0a7206ef407ba7da3
New procedure to create metadata committed and old procedure removed.
The new procedure is based on ocaml code and builds metadata for both
forward and backward pointers. The old one was based on a stylesheet.
58 files changed:
helm/metadata/create/Makefile [deleted file]
helm/metadata/create/fix_rdf.pl [deleted file]
helm/metadata/create/mkindex.sh [deleted file]
helm/metadata/create/mywget.pl [deleted file]
helm/metadata/create/split.pl [deleted file]
helm/metadata/create/uris_of_filenames.pl [deleted file]
helm/metadata/create2/Makefile [new file with mode: 0644]
helm/metadata/create2/fix_rdf.pl [new file with mode: 0755]
helm/metadata/create2/invert.pl [new file with mode: 0755]
helm/metadata/create2/mk_forward/.cvsignore [new file with mode: 0644]
helm/metadata/create2/mk_forward/Makefile [new file with mode: 0644]
helm/metadata/create2/mk_forward/cic.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicMiniReduction.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicMiniReduction.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicParser.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicParser.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicParser2.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicParser2.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicParser3.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicParser3.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicSubstitution.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/cicSubstitution.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/clientHTTP.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/clientHTTP.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/configuration.ml.in [new file with mode: 0644]
helm/metadata/create2/mk_forward/csc_pxp_reader.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/deannotate.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/getter.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/getter.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/mk_forward.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/pxpUriResolver.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/uriManager.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/uriManager.mli [new file with mode: 0644]
helm/metadata/create2/mk_forward/xml.ml [new file with mode: 0644]
helm/metadata/create2/mk_forward/xml.mli [new file with mode: 0644]
helm/metadata/create2/mkindex.sh [new file with mode: 0755]
helm/metadata/create2/touch/.cvsignore [new file with mode: 0644]
helm/metadata/create2/touch/Makefile [new file with mode: 0644]
helm/metadata/create2/touch/cic.ml [new file with mode: 0644]
helm/metadata/create2/touch/cicParser.ml [new file with mode: 0644]
helm/metadata/create2/touch/cicParser.mli [new file with mode: 0644]
helm/metadata/create2/touch/cicParser2.ml [new file with mode: 0644]
helm/metadata/create2/touch/cicParser2.mli [new file with mode: 0644]
helm/metadata/create2/touch/cicParser3.ml [new file with mode: 0644]
helm/metadata/create2/touch/cicParser3.mli [new file with mode: 0644]
helm/metadata/create2/touch/clientHTTP.ml [new file with mode: 0644]
helm/metadata/create2/touch/clientHTTP.mli [new file with mode: 0644]
helm/metadata/create2/touch/configuration.ml.in [new file with mode: 0644]
helm/metadata/create2/touch/csc_pxp_reader.ml [new file with mode: 0644]
helm/metadata/create2/touch/deannotate.ml [new file with mode: 0644]
helm/metadata/create2/touch/getter.ml [new file with mode: 0644]
helm/metadata/create2/touch/getter.mli [new file with mode: 0644]
helm/metadata/create2/touch/pxpUriResolver.ml [new file with mode: 0644]
helm/metadata/create2/touch/touch.ml [new file with mode: 0644]
helm/metadata/create2/touch/uriManager.ml [new file with mode: 0644]
helm/metadata/create2/touch/uriManager.mli [new file with mode: 0644]
helm/metadata/create2/uris_of_filenames.pl [new file with mode: 0755]
helm/metadata/xslt/occurrences.xsl [deleted file]