From 6c7be6bbe4e645f5ab99e82d322e1a70503781cb Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 30 Apr 2008 10:53:27 +0000 Subject: [PATCH 1/1] xml strict! --- helm/www/matita/community.shtml | 9 ++++----- helm/www/matita/development.shtml | 4 ++-- helm/www/matita/documentation.shtml | 4 ++-- helm/www/matita/download.shtml | 6 +++--- helm/www/matita/library.shtml | 12 ++++++------ 5 files changed, 17 insertions(+), 18 deletions(-) diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index a89061102..9ad4940dd 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,6 +1,6 @@ - - + + Matita - Community @@ -10,7 +10,7 @@

Matita Community

-

Mailing Lists

+

Mailing Lists

Discussions about Matita are held in several places, mainly on the following mailing lists: @@ -19,7 +19,6 @@

matita-user

Discussion forum for Matita users.

-

matita-devel
@@ -36,7 +35,7 @@ the instructions.

-

Miki

+

Miki

We are currently developing Wiki-like diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 69b49ee5f..13b803f02 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,6 +1,6 @@ - - + + Matita Developers diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 0e8f63ae4..e820186a3 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -1,6 +1,6 @@ - - + + Matita - Documentation diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 45fd3e4aa..e228cf91d 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -1,6 +1,6 @@ - - + + Matita - Download @@ -13,6 +13,7 @@

Releases

The current release (candidate) is version 0.4.98. +

Live CD
@@ -47,7 +48,6 @@ trivial, we thus suggest you to try the live CD or the .deb package first.
-

License

diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml index a6f195b63..57f54e2bd 100644 --- a/helm/www/matita/library.shtml +++ b/helm/www/matita/library.shtml @@ -1,6 +1,6 @@ - - + + Matita - Library @@ -29,14 +29,14 @@

  • an executable formalization of the operational semantics of any Freescale micro-controller of the HC05/HC08/RS08/HCS08 families +
  • a compiler from assembly language (pseudocodes + operands) to - machine code + machine code
  • several automatic checks for unhandled opcodes, memory accesses, - correctness of ALU logic, etc. + correctness of ALU logic, etc.
  • 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
    • -

    The execution in the executable formalization has been compared to real world execution using the USB SPYDER08 -- 2.39.2