]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9077783) | patch
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
tree0b65853dc6f9baaafd5392131578c291d9aba5c5tree | snapshot
parent90777831624ec55c4b68bdb0a7206ef407ba7da3commit | diff
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] blob | history
helm/metadata/create/fix_rdf.pl [deleted file] blob | history
helm/metadata/create/mkindex.sh [deleted file] blob | history
helm/metadata/create/mywget.pl [deleted file] blob | history
helm/metadata/create/split.pl [deleted file] blob | history
helm/metadata/create/uris_of_filenames.pl [deleted file] blob | history
helm/metadata/create2/Makefile [new file with mode: 0644] blob
helm/metadata/create2/fix_rdf.pl [new file with mode: 0755] blob
helm/metadata/create2/invert.pl [new file with mode: 0755] blob
helm/metadata/create2/mk_forward/.cvsignore [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/Makefile [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cic.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicMiniReduction.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicMiniReduction.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicParser.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicParser.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicParser2.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicParser2.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicParser3.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicParser3.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicSubstitution.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/cicSubstitution.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/clientHTTP.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/clientHTTP.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/configuration.ml.in [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/csc_pxp_reader.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/deannotate.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/getter.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/getter.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/mk_forward.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/pxpUriResolver.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/uriManager.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/uriManager.mli [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/xml.ml [new file with mode: 0644] blob
helm/metadata/create2/mk_forward/xml.mli [new file with mode: 0644] blob
helm/metadata/create2/mkindex.sh [new file with mode: 0755] blob
helm/metadata/create2/touch/.cvsignore [new file with mode: 0644] blob
helm/metadata/create2/touch/Makefile [new file with mode: 0644] blob
helm/metadata/create2/touch/cic.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/cicParser.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/cicParser.mli [new file with mode: 0644] blob
helm/metadata/create2/touch/cicParser2.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/cicParser2.mli [new file with mode: 0644] blob
helm/metadata/create2/touch/cicParser3.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/cicParser3.mli [new file with mode: 0644] blob
helm/metadata/create2/touch/clientHTTP.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/clientHTTP.mli [new file with mode: 0644] blob
helm/metadata/create2/touch/configuration.ml.in [new file with mode: 0644] blob
helm/metadata/create2/touch/csc_pxp_reader.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/deannotate.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/getter.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/getter.mli [new file with mode: 0644] blob
helm/metadata/create2/touch/pxpUriResolver.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/touch.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/uriManager.ml [new file with mode: 0644] blob
helm/metadata/create2/touch/uriManager.mli [new file with mode: 0644] blob
helm/metadata/create2/uris_of_filenames.pl [new file with mode: 0755] blob
helm/metadata/xslt/occurrences.xsl [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.