From: Claudio Sacerdoti Coen Date: Thu, 21 Nov 2002 13:13:53 +0000 (+0000) Subject: ... X-Git-Tag: V_0_0_5~15 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3636c82288ec11c3d411c11a446ab9e9693e623f;p=helm.git ... --- diff --git a/helm/metadata/create_V7_mowgli/forward_rel_or_sort_footer.txt b/helm/metadata/create_V7_mowgli/forward_rel_or_sort_footer.txt new file mode 100644 index 000000000..7edcd7861 --- /dev/null +++ b/helm/metadata/create_V7_mowgli/forward_rel_or_sort_footer.txt @@ -0,0 +1 @@ + diff --git a/helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt b/helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt new file mode 100644 index 000000000..3802d0e3a --- /dev/null +++ b/helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt @@ -0,0 +1,9 @@ + + + + + + + ]> +