From 8768546a22a4bb31227b729c2162e2f98ee615f6 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Tue, 3 Apr 2012 13:33:04 +0000 Subject: [PATCH] More changes to the website (matitaweb). --- helm/www/matita/matitaweb.shtml | 12 +++++++++++- helm/www/matita/news.shtml | 2 +- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/helm/www/matita/matitaweb.shtml b/helm/www/matita/matitaweb.shtml index f2a605798..d1981ca12 100644 --- a/helm/www/matita/matitaweb.shtml +++ b/helm/www/matita/matitaweb.shtml @@ -28,8 +28,18 @@

Matita Web application

+

Matitaweb

Matita is available as a multi-user web application running remotely - on our server.

+ on our server. The web app can process the same proof scripts as + stand-alone Matita, also adding support for scripts containing HTML-like + markup. Several new features are added, including automatic storage of + disambiguation and automation hints, allowing a more efficient + reprocessing of proofs.

+ +

Every Matitaweb user has a separate space for storing his/her + definitions and proofs. The personal copies can then be synchronized with + the centralized library for collaborative developments (selected users, + currently testing only).

Register now to gain access to Matitaweb.

diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml index d0646f66f..daa6cc5b8 100644 --- a/helm/www/matita/news.shtml +++ b/helm/www/matita/news.shtml @@ -5,7 +5,7 @@