From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 22:50:31 +0000 (+0000) Subject: use server-side include X-Git-Tag: make_still_working~7662 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git use server-side include --- diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml new file mode 100644 index 000000000..edb173b45 --- /dev/null +++ b/helm/www/matita/bottombar.shtml @@ -0,0 +1,13 @@ + + + + + +
+ + Valid XHTML 1.0! + + + Valid CSS + +
diff --git a/helm/www/matita/community.html b/helm/www/matita/community.html deleted file mode 100644 index 792db177e..000000000 --- a/helm/www/matita/community.html +++ /dev/null @@ -1,19 +0,0 @@ - - - Matita home page - community - - - -
- Matita Home - Developers - Documentation - Community - Download -
-

Miki

-

- Miki is not yet ready... -

- - diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml new file mode 100644 index 000000000..0b7c82d9d --- /dev/null +++ b/helm/www/matita/community.shtml @@ -0,0 +1,15 @@ + + + + Matita home page - community + + + + +

Miki

+

+ Miki is not yet ready... +

+ + + diff --git a/helm/www/matita/developers.html b/helm/www/matita/developers.html deleted file mode 100644 index 15136150a..000000000 --- a/helm/www/matita/developers.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - Matita home page - developers - - - -
- Matita Home - Developers - Documentation - Community - Download -
- -

Current team members

- - -

Former members

- - -

Students, developers and contributors

- - - - - - -
- - Valid XHTML 1.0! - - - Valid CSS - -
- - diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml new file mode 100644 index 000000000..f99082eef --- /dev/null +++ b/helm/www/matita/developers.shtml @@ -0,0 +1,34 @@ + + + + Matita home page - developers + + + + +

Current team members

+ + +

Former members

+ + +

Students, developers and contributors

+ + + + diff --git a/helm/www/matita/documentation.html b/helm/www/matita/documentation.html deleted file mode 100644 index 9e6718921..000000000 --- a/helm/www/matita/documentation.html +++ /dev/null @@ -1,19 +0,0 @@ - - - Matita home page - documentation - - - -
- Matita Home - Developers - Documentation - Community - Download -
-

User manual

-

- Please be patient... -

- - diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml new file mode 100644 index 000000000..2ab98e1f2 --- /dev/null +++ b/helm/www/matita/documentation.shtml @@ -0,0 +1,15 @@ + + + + Matita home page - documentation + + + + +

User manual

+

+ Please be patient... +

+ + + diff --git a/helm/www/matita/download.html b/helm/www/matita/download.html deleted file mode 100644 index cc30eb49d..000000000 --- a/helm/www/matita/download.html +++ /dev/null @@ -1,25 +0,0 @@ - - - Matita home page - download - - - -
- Matita Home - Developers - Documentation - Community - Download -
-

Sources

-

- Since there is no official release, you can browse the svn repository - and get sources of the ocaml/ - and matita/ - modules. -

- - - diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml new file mode 100644 index 000000000..86f442d3a --- /dev/null +++ b/helm/www/matita/download.shtml @@ -0,0 +1,20 @@ + + + + Matita home page - download + + + + +

Sources

+

+ Since there is no official release, you can browse the svn repository + and get sources of the ocaml/ + and matita/ + modules. +

+ + + diff --git a/helm/www/matita/index.html b/helm/www/matita/index.html deleted file mode 120000 index afb6ab59b..000000000 --- a/helm/www/matita/index.html +++ /dev/null @@ -1 +0,0 @@ -matita.html \ No newline at end of file diff --git a/helm/www/matita/index.shtml b/helm/www/matita/index.shtml new file mode 120000 index 000000000..2fad15b04 --- /dev/null +++ b/helm/www/matita/index.shtml @@ -0,0 +1 @@ +matita.shtml \ No newline at end of file diff --git a/helm/www/matita/matita.html b/helm/www/matita/matita.html deleted file mode 100644 index fae7d202a..000000000 --- a/helm/www/matita/matita.html +++ /dev/null @@ -1,67 +0,0 @@ - - - Matita home page - - - - - -
- - -
-
1. Developers
-
-
2. Documentation
-
-
3. Community
-
-
4. Download
-
-
-
- - - - - - diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml new file mode 100644 index 000000000..2bf6a2119 --- /dev/null +++ b/helm/www/matita/matita.shtml @@ -0,0 +1,68 @@ + + + + Matita home page + + + + + +
+ + +
+
1. Developers
+
+
2. Documentation
+
+
3. Community
+
+
4. Download
+
+
+
+ + + + + + diff --git a/helm/www/matita/menubar.shtml b/helm/www/matita/menubar.shtml new file mode 100644 index 000000000..1ac5bf563 --- /dev/null +++ b/helm/www/matita/menubar.shtml @@ -0,0 +1,7 @@ +
+ Matita Home + Developers + Documentation + Community + Download +
diff --git a/helm/www/matita/xhtml-header.shtml b/helm/www/matita/xhtml-header.shtml new file mode 100644 index 000000000..e08184734 --- /dev/null +++ b/helm/www/matita/xhtml-header.shtml @@ -0,0 +1,4 @@ + + +