From f6fbde555da84d68da2dc87de8d731f1c6ea4476 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 10 Jun 2006 16:24:03 +0000 Subject: [PATCH] removed overkilling info for our manual --- helm/software/matita/help/C/matita.xml | 115 ++++++------------------- 1 file changed, 25 insertions(+), 90 deletions(-) diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml index 7f259909b..e32262ae4 100644 --- a/helm/software/matita/help/C/matita.xml +++ b/helm/software/matita/help/C/matita.xml @@ -2,7 +2,8 @@ + + @@ -12,8 +13,8 @@ - - + + Matita"> @@ -41,31 +42,15 @@ - - -&app; V&appversion; Manual (rev. &manrevision;) - - - - 2006 - The HELM team. - - - - + + &app; V&appversion; User Manual (rev. &manrevision;) + + + + + 2006 + The HELM team. + @@ -103,68 +88,23 @@
fguidi@cs.unibo.it
-
- - - - &appname; V&appversion; Manual (rev. &manrevision;) - &date; - - The HELM team - - - - - - - &manrevision; - 4 February 2006 - HELM - - First draft completed. - - - - - - This manual describes version &appversion; of &appname;. - - &license; + Both &appname; and this document are free software, you can + redistribute them and/or modify them under the terms of the GNU General + Public License as published by the Free Software Foundation. See for more information. - - - Feedback - To report a bug or make a suggestion regarding the &app; - application or this manual, follow the directions in the - HELM Bug - Tracking System Page. - - - + + + &manrevision; + &date; + + -
+
@@ -176,13 +116,8 @@ &tactics; &tacticals; &othercommands; +&license; - - - - License - &license; -