]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7720af) | patch
New version for the new DTD.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Oct 2002 12:32:44 +0000 (12:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Oct 2002 12:32:44 +0000 (12:32 +0000)
commit0e6b8620b9c128c3f256c00b422cee7708321171
tree5b168620339f1444747d8458173d7c77af385e1atree | snapshot
parenta7720af3d9a8e97ab9e5179150350025da58d97fcommit | diff
New version for the new DTD.
20 files changed:
helm/metadata/create_V7_mowgli/.cvsignore [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/.cvsignore [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/Makefile [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/README [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/lex.yy.c [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/meta_lex.l [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/sthandler.c [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/sthandler.h [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.h [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/Makefile [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/fix_rdf.pl [new file with mode: 0755] blob
helm/metadata/create_V7_mowgli/invert.pl [new file with mode: 0755] blob
helm/metadata/create_V7_mowgli/mkindex.sh [new file with mode: 0755] blob
helm/metadata/create_V7_mowgli/touch/.cvsignore [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/touch/Makefile [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/touch/touch.ml [new file with mode: 0644] blob
helm/metadata/create_V7_mowgli/uris_of_filenames.pl [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.