]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3026b5) | patch
(Very)* Old stuff removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 12:59:35 +0000 (12:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 12:59:35 +0000 (12:59 +0000)
commitf9c4a1158888982406aca8960b6d50cdce677507
tree75d49a65c9ee89c8db87e440f526020668761d76tree | snapshot
parenta3026b5d06a07baa98da0e9ac841975232a8a60bcommit | diff
(Very)* Old stuff removed.
58 files changed:
helm/metadata/create/.cvsignore [deleted file] blob | history
helm/metadata/create2/Makefile [deleted file] blob | history
helm/metadata/create2/fix_rdf.pl [deleted file] blob | history
helm/metadata/create2/invert.pl [deleted file] blob | history
helm/metadata/create2/mk_forward/.cvsignore [deleted file] blob | history
helm/metadata/create2/mk_forward/.depend [deleted file] blob | history
helm/metadata/create2/mk_forward/Makefile [deleted file] blob | history
helm/metadata/create2/mk_forward/mk_forward.ml [deleted file] blob | history
helm/metadata/create2/mkindex.sh [deleted file] blob | history
helm/metadata/create2/touch/.cvsignore [deleted file] blob | history
helm/metadata/create2/touch/.depend [deleted file] blob | history
helm/metadata/create2/touch/Makefile [deleted file] blob | history
helm/metadata/create2/touch/touch.ml [deleted file] blob | history
helm/metadata/create2/uris_of_filenames.pl [deleted file] blob | history
helm/metadata/create4/METADATA/Makefile [deleted file] blob | history
helm/metadata/create4/METADATA/meta_lex.l [deleted file] blob | history
helm/metadata/create4/METADATA/sthandler.c [deleted file] blob | history
helm/metadata/create4/METADATA/sthandler.h [deleted file] blob | history
helm/metadata/create4/Makefile [deleted file] blob | history
helm/metadata/create_V7_mowgli/.cvsignore [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/.cvsignore [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/Makefile [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/README [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/meta_lex.l [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler.c [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler.h [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c [deleted file] blob | history
helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h [deleted file] blob | history
helm/metadata/create_V7_mowgli/Makefile [deleted file] blob | history
helm/metadata/create_V7_mowgli/fix_rdf.pl [deleted file] blob | history
helm/metadata/create_V7_mowgli/forward_rel_or_sort_footer.txt [deleted file] blob | history
helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt [deleted file] blob | history
helm/metadata/create_V7_mowgli/invert.pl [deleted file] blob | history
helm/metadata/create_V7_mowgli/mkindex.sh [deleted file] blob | history
helm/metadata/create_V7_mowgli/touch/.cvsignore [deleted file] blob | history
helm/metadata/create_V7_mowgli/touch/.depend [deleted file] blob | history
helm/metadata/create_V7_mowgli/touch/Makefile [deleted file] blob | history
helm/metadata/create_V7_mowgli/touch/touch.ml [deleted file] blob | history
helm/metadata/create_V7_mowgli/uris_of_filenames.pl [deleted file] blob | history
helm/metadata/dc_mowgli/.cvsignore [deleted file] blob | history
helm/metadata/dc_mowgli/Makefile [deleted file] blob | history
helm/metadata/dc_mowgli/create_dc_indexes [deleted file] blob | history
helm/metadata/dc_mowgli/create_dc_tables [deleted file] blob | history
helm/metadata/dc_mowgli/drop_dc_tables [deleted file] blob | history
helm/metadata/dc_mowgli/mkindex.sh [deleted file] blob | history
helm/metadata/dc_mowgli/upload.pl [deleted file] blob | history
helm/metadata/dc_mowgli/uris_of_filenames.pl [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/.cvsignore [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/Makefile [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/README [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/inserisci.pl [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/inserisci_names.pl [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/metadata_for_names/.cvsignore [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/metadata_for_names/Makefile [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/metainfo.xsl [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/upload_rel.pl [deleted file] blob | history
helm/metadata/postgresql_V7_mowgli/upload_sort.pl [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.