]> 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: 9d356a6)
xml strict!
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Apr 2008 10:53:27 +0000 (10:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Apr 2008 10:53:27 +0000 (10:53 +0000)
helm/www/matita/community.shtml patch | blob | history
helm/www/matita/development.shtml patch | blob | history
helm/www/matita/documentation.shtml patch | blob | history
helm/www/matita/download.shtml patch | blob | history
helm/www/matita/library.shtml patch | blob | history

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index a890611022e67a8b74b41f5374287605ff797c1b..9ad4940dd747b016953f4b92774a193ab61db613 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita - Community</title>
     <!--#include virtual="xhtml-meta.shtml" -->
@@ -10,7 +10,7 @@
     <div class="main">
       <h1>Matita Community</h1>
 
-      <h2>Mailing Lists<a name="lists" /></a></h2>
+      <h2>Mailing Lists<a name="lists" /></h2>
       <p>
       Discussions about Matita are held in several places, mainly on the
       following mailing lists:
@@ -19,7 +19,6 @@
        <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-user"><kbd>matita-user</kbd></a> </dt>
        <dd>
        <p> Discussion forum for Matita users. </p>
-       </p>
        </dd>
 
        <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-devel"><kbd>matita-devel</kbd></a> </dt>
@@ -36,7 +35,7 @@
       the instructions.
       </p>
 
-      <h2>Miki<a name="miki" /></a></h2>
+      <h2>Miki<a name="miki" /></h2>
       <p>
       We are currently developing
       <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml
index 69b49ee5fa833fb71cacb5df2d2fec37e4d17344..13b803f02bf7cfa035171490ff9b975900907420 100644 (file)
--- a/helm/www/matita/development.shtml
+++ b/helm/www/matita/development.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita Developers</title>
     <!--#include virtual="xhtml-meta.shtml" -->
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 0e8f63ae4f2613194344baafa9de544a70dc0901..e820186a3dffe38112311b8ad20260189904fc54 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita - Documentation</title>
     <!--#include virtual="xhtml-meta.shtml" -->
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 45fd3e4aae70731ffe5303e0e469b3cb7a2213be..e228cf91d72097550fd5e80f5cc4c12b08bfe1eb 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita - Download</title>
     <!--#include virtual="xhtml-meta.shtml" -->
@@ -13,6 +13,7 @@
       <h2>Releases<a name="releases"></a></h2>
       <p>
       The current release (candidate) is version 0.4.98. 
+      </p>
       <dl>
         <dt>Live CD</dt>
         
@@ -47,7 +48,6 @@
         trivial, we thus suggest you to try the live CD or the .deb package
         first.</dd>
       </dl>
-      </p>
 
       <h2>License<a name="license"></a></h2>
       <p>
diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml
index a6f195b630f6c9f6eed33b9df899c8323de49fee..57f54e2bdbf62e3e63485d9ca7ef9b9f7b8aeecd 100644 (file)
--- a/helm/www/matita/library.shtml
+++ b/helm/www/matita/library.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita - Library</title>
     <!--#include virtual="xhtml-meta.shtml" -->
@@ -29,14 +29,14 @@
        <li>an executable formalization of the operational semantics of
            any <a href="http://www.freescale.com">Freescale</a>
            micro-controller of the <a href="http://www.freescale.com/webapp/sps/site/homepage.jsp?nodeId=0162468449&tid=FSH">HC05/HC08/RS08/HCS08 families</a>
+           </li>
        <li>a compiler from assembly language (pseudocodes + operands) to
-           machine code
+       machine code</li>
        <li>several automatic checks for unhandled opcodes, memory accesses,
-           correctness of ALU logic, etc.
+       correctness of ALU logic, etc.</li>
        <li>three examples of assembly programs (string reverse, counting sort
-           and perfect numbers sieve) with sets of data to run them
+       and perfect numbers sieve) with sets of data to run them</li>
       </ul>
-      </a>
       
       <p>The execution in the executable formalization has been compared
          to real world execution using the <a href="http://www.freescale.com/webapp/sps/site/overview.jsp?code=784_LPBBNEWTOOL&fsrch=1">USB SPYDER08</a>
Unnamed repository; edit this file 'description' to name the repository.