From: Stefano Zacchiroli Date: Fri, 3 Feb 2006 15:36:53 +0000 (+0000) Subject: moved (dummy) dist stuff into software/matita/ X-Git-Tag: 0.4.95@7852~1733 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=31eedfb7bef43a92231962a4322b8ebf59e186a7;p=helm.git moved (dummy) dist stuff into software/matita/ --- diff --git a/matita/dist/AUTHORS b/matita/dist/AUTHORS new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/COPYING b/matita/dist/COPYING new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/ChangeLog b/matita/dist/ChangeLog new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/INSTALL b/matita/dist/INSTALL new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/README b/matita/dist/README new file mode 100644 index 000000000..e69de29bb