]> 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: 14279be)
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 11:03:23 +0000 (11:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 11:03:23 +0000 (11:03 +0000)
helm/matita_homepage/community.html [new file with mode: 0644] patch | blob
helm/matita_homepage/developers.html [new file with mode: 0644] patch | blob
helm/matita_homepage/documentation.html [new file with mode: 0644] patch | blob
helm/matita_homepage/download.html [new file with mode: 0644] patch | blob
helm/matita_homepage/matita.html patch | blob | history

diff --git a/helm/matita_homepage/community.html b/helm/matita_homepage/community.html
new file mode 100644 (file)
index 0000000..0115f2d
--- /dev/null
+++ b/helm/matita_homepage/community.html
@@ -0,0 +1,12 @@
+<html>
+ <head>
+  <title>Matita home page - community</title>
+ </head>
+ <style>
+ </style>
+
+  <body>
+
+  </body>
+
+</html>
diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
new file mode 100644 (file)
index 0000000..12cea64
--- /dev/null
+++ b/helm/matita_homepage/developers.html
@@ -0,0 +1,12 @@
+<html>
+ <head>
+  <title>Matita home page - developers</title>
+ </head>
+ <style>
+ </style>
+
+  <body>
+
+  </body>
+
+</html>
diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html
new file mode 100644 (file)
index 0000000..d042a75
--- /dev/null
+++ b/helm/matita_homepage/documentation.html
@@ -0,0 +1,12 @@
+<html>
+ <head>
+  <title>Matita home page - documentation</title>
+ </head>
+ <style>
+ </style>
+
+  <body>
+
+  </body>
+
+</html>
diff --git a/helm/matita_homepage/download.html b/helm/matita_homepage/download.html
new file mode 100644 (file)
index 0000000..82c2d8d
--- /dev/null
+++ b/helm/matita_homepage/download.html
@@ -0,0 +1,12 @@
+<html>
+ <head>
+  <title>Matita home page - download</title>
+ </head>
+ <style>
+ </style>
+
+  <body>
+
+  </body>
+
+</html>
diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index 0283ee7359f107f9c0d557b67e9e913eada97cc9..e661c3b012dd8954c6566f2fbcf46700a09aa8fa 100644 (file)
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -50,13 +50,13 @@
 
     <dl id="matitaMap">
      <dt id="developers">1. Developers</dt>
-     <dd id="developersDef"><a href="developers"></a></dd>
+     <dd id="developersDef"><a href="developers.html"></a></dd>
      <dt id="documentation">2. Documentation</dt>
-     <dd id="documentationDef"><a href="documentation"></a></dd>
+     <dd id="documentationDef"><a href="documentation.html"></a></dd>
      <dt id="community">3. Community</dt>
-     <dd id="communityDef"><a href="community"></a></dd>
+     <dd id="communityDef"><a href="community.html"></a></dd>
      <dt id="download">4. Download</dt>
-     <dd id="downloadDef"><a href="download"></a></dd>
+     <dd id="downloadDef"><a href="download.html"></a></dd>
     </dl>
     <div>
   
Unnamed repository; edit this file 'description' to name the repository.