From: Enrico Tassi Date: Mon, 28 May 2007 08:18:27 +0000 (+0000) Subject: more local modifications X-Git-Tag: make_still_working~6287 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e999e3e921dd6a7d2ef78e458bfbb26bdeaa4e7a;p=helm.git more local modifications --- diff --git a/helm/www/matita/PAPERS/hopr.ps.gz b/helm/www/matita/PAPERS/hopr.ps.gz new file mode 100644 index 000000000..b25c8b7d9 Binary files /dev/null and b/helm/www/matita/PAPERS/hopr.ps.gz differ diff --git a/helm/www/matita/PAPERS/matita.ps.gz b/helm/www/matita/PAPERS/matita.ps.gz new file mode 100644 index 000000000..20e4517e7 Binary files /dev/null and b/helm/www/matita/PAPERS/matita.ps.gz differ diff --git a/helm/www/matita/PAPERS/matita_types.ps.gz b/helm/www/matita/PAPERS/matita_types.ps.gz new file mode 100644 index 000000000..a03477b7a Binary files /dev/null and b/helm/www/matita/PAPERS/matita_types.ps.gz differ diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml new file mode 100644 index 000000000..6617949a5 --- /dev/null +++ b/helm/www/matita/library.shtml @@ -0,0 +1,22 @@ + + + + + Matita - Library + + + + +
+

Matita Library

+ +

Scripts

+

+ The scripts used to generate the knowledge base of + Matita can be browsed on line. +

+ + +
+ + diff --git a/helm/www/matita/menubar_it.shtml b/helm/www/matita/menubar_it.shtml new file mode 100644 index 000000000..732e1e466 --- /dev/null +++ b/helm/www/matita/menubar_it.shtml @@ -0,0 +1,21 @@ + + +
+ + Small Matita logo + + +
+ diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml new file mode 100644 index 000000000..0fa4c5d86 --- /dev/null +++ b/helm/www/matita/news_it.shtml @@ -0,0 +1,28 @@ + + +
+ News: + +
+ diff --git a/helm/www/matita/sources/matita-0.1.0.tar.gz b/helm/www/matita/sources/matita-0.1.0.tar.gz new file mode 100644 index 000000000..6ab225f06 Binary files /dev/null and b/helm/www/matita/sources/matita-0.1.0.tar.gz differ