X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=845367ad1efebcd8482bcc3b79ffa24d30232e9f;hb=52cfc3c337a48d52e9d2a8e4e761fa933f161103;hp=33a658479329d10443f9b17d9aa528966ef74b08;hpb=f08e376eb0b370f92900182d3a5867a5b8c0cf7b;p=helm.git diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index 33a658479..845367ad1 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -2,6 +2,7 @@ + Matita - Home Page @@ -11,7 +12,10 @@
- Big Matita label + Matita + + italian flag +

@@ -71,7 +75,7 @@ --> - The knowledge base can be + The knowledge base can be browsed as an hypertext (locally or on the World Wide Web) and searched by means of @@ -86,6 +90,15 @@ The tactical language, part of the proof language, has step-by-step semantics, enabling inspection and replaying of deeply structured proof scripts.

+ +

Matita is partially supported by the following Projects: +

+