]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4c042b2)
more local modifications
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:18:27 +0000 (08:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 28 May 2007 08:18:27 +0000 (08:18 +0000)
helm/www/matita/PAPERS/hopr.ps.gz [new file with mode: 0644] patch | blob
helm/www/matita/PAPERS/matita.ps.gz [new file with mode: 0644] patch | blob
helm/www/matita/PAPERS/matita_types.ps.gz [new file with mode: 0644] patch | blob
helm/www/matita/library.shtml [new file with mode: 0644] patch | blob
helm/www/matita/menubar_it.shtml [new file with mode: 0644] patch | blob
helm/www/matita/news_it.shtml [new file with mode: 0644] patch | blob
helm/www/matita/sources/matita-0.1.0.tar.gz [new file with mode: 0644] patch | blob

diff --git a/helm/www/matita/PAPERS/hopr.ps.gz b/helm/www/matita/PAPERS/hopr.ps.gz
new file mode 100644 (file)
index 0000000..b25c8b7
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 (file)
index 0000000..20e4517
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 (file)
index 0000000..a03477b
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 (file)
index 0000000..6617949
--- /dev/null
+++ b/helm/www/matita/library.shtml
@@ -0,0 +1,22 @@
+<!-- $Id$ -->
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+  <head>
+    <title>Matita - Library</title>
+    <!--#include virtual="xhtml-meta.shtml" -->
+  </head>
+  <body>
+    <!--#include virtual="menubar.shtml" -->
+    <div class="main">
+      <h1>Matita Library</h1>
+
+      <h2>Scripts<a name="scripts"></a></h2>
+      <p>
+      The <a href="library/">scripts</a> used to generate the knowledge base of
+      Matita can be <a href="library/">browsed on line</a>.
+      </p>
+
+      <!--#include virtual="bottombar.shtml" -->
+    </div>
+  </body>
+</html>
diff --git a/helm/www/matita/menubar_it.shtml b/helm/www/matita/menubar_it.shtml
new file mode 100644 (file)
index 0000000..732e1e4
--- /dev/null
+++ b/helm/www/matita/menubar_it.shtml
@@ -0,0 +1,21 @@
+<!-- $Id: menubar.shtml 6484 2006-06-14 08:49:31Z zacchiro $ -->
+
+<div class="menu">  
+  <a class="quiet" href="index.shtml">
+    <img src="images/matita-small.png" alt="Small Matita logo" />
+  </a>
+  <ul>
+    <li> <a href="matita_it.shtml">Matita Home</a> </li>
+    <li> <a href="documentation.shtml">Documentazione</a> </li>
+    <li>
+      <a style="background-image: url(images/matita-library.png)"
+       href="library.shtml">
+         Libreria
+      </a>
+    </li>
+    <li> <a href="development.shtml">Sviluppatori</a> </li>
+    <li> <a href="community.shtml">Comunita'</a> </li>
+    <li> <a href="download.shtml">Download</a> </li>
+  </ul>
+</div>
+
diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml
new file mode 100644 (file)
index 0000000..0fa4c5d
--- /dev/null
+++ b/helm/www/matita/news_it.shtml
@@ -0,0 +1,28 @@
+<!-- $Id: news.shtml 6484 2006-06-14 08:49:31Z zacchiro $ -->
+
+<div class="news">
+  <strong>News:</strong>
+  <ul>
+    Introduzione a Matita alla
+    <a href="http://typessummerschool07.cs.unibo.it">Types Summer School 2007</a>.
+    <li><span class="date">24 Jan 2007</span><br />
+    Soluzione per il <a href="http://fling-l.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=Submitted_solutions">Poplmark challenge</a> (part 1a)
+    </li>
+    <li><span class="date">1 Dic 2006</span><br />
+    <a href="http://www.ciim26.unimore.it/comunicazioni.html">
+    Presentazione</a> di Matita all'Unione Matematica Italiana.
+    </li>
+    <li> <span class="date">21 Ago 2006</span><br />
+    Matita-prover si confronta con 
+    <a href="http://www.cs.miami.edu/~tptp">TPTP</a>.
+    </li>
+    <li> <span class="date">18 Lug 2006</span><br />
+    <a href="library/">Gli scripts</a> della libreria sono
+    on-line
+    </li>
+    <li> <span class="date">14 Giu 2006</span><br />
+    <a href="community.shtml#lists">mailing lists</a> per Matita 
+    </li>
+  </ul>
+</div>
+
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 (file)
index 0000000..6ab225f
Binary files /dev/null and b/helm/www/matita/sources/matita-0.1.0.tar.gz differ
Unnamed repository; edit this file 'description' to name the repository.