helm/software/matita/help/C/matita.xml

   1 <?xml version="1.0"?>
   2 <!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN"
   3 "http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd" [
   4
   5   <!ENTITY license SYSTEM "legal.xml">
   6   <!ENTITY install SYSTEM "sec_install.xml">
   7   <!ENTITY gettingstarted SYSTEM "sec_gettingstarted.xml">
   8   <!ENTITY intro SYSTEM "sec_intro.xml">
   9   <!ENTITY terms SYSTEM "sec_terms.xml">
  10   <!ENTITY tactics SYSTEM "sec_tactics.xml">
  11
  12   <!ENTITY manrevision "0">
  13   <!ENTITY date "February 2006">
  14   <!ENTITY app "<application>Matita</application>">
  15   <!ENTITY appname "Matita">
  16   <!ENTITY appversion SYSTEM "version.txt">
  17
  18   <!ENTITY TODO "<emphasis>TODO</emphasis>">
  19   <!ENTITY MYSQL "<application> <ulink type='http'
  20       url='http://www.mysql.com'>MySQL</ulink> </application>">
  21
  22   <!-- Entities for BNF -->
  23   <!ENTITY id "<emphasis><link linkend='id'>id</link></emphasis>">
  24   <!ENTITY uri "<emphasis><link linkend='uri'>uri</link></emphasis>">
  25   <!ENTITY nat "<emphasis><link linkend='nat'>nat</link></emphasis>">
  26   <!ENTITY term "<emphasis><link linkend='term'>term</link></emphasis>">
  27   <!ENTITY match_pattern "<emphasis><link linkend='match_pattern'>match_pattern</link></emphasis>">
  28   <!ENTITY args "<emphasis><link linkend='args'>args</link></emphasis>">
  29   <!ENTITY sterm "<emphasis><link linkend='sterm'>sterm</link></emphasis>">
  30 ]>
  31
  32 <?yelp:chunk-depth 3?>
  33
  34 <book id="matita_manual" lang="en">
  35 <!-- please do not change the id; for translations, change lang to -->
  36 <!-- appropriate code -->
  37 <title>&app; V&appversion; Manual (rev. &manrevision;)</title>
  38 <bookinfo>
  39
  40  <copyright>
  41   <year>2006</year>
  42   <holder>The HELM team.</holder>
  43  </copyright>
  44 <!-- translators: uncomment this:
  45
  46   <copyright>
  47    <year>2002</year>
  48    <holder>ME-THE-TRANSLATOR (Latin translation)</holder>
  49   </copyright>
  50
  51    -->
  52 <!-- An address can be added to the publisher information.  If a role is
  53      not specified, the publisher/author is the same for all versions of the
  54      document.  -->
  55 <!-- CSC:
  56     <publisher>
  57       <publishername> GNOME Documentation Project </publishername>
  58     </publisher>
  59 -->
  60
  61     <authorgroup>
  62       <author>
  63         <firstname>Andrea</firstname>
  64         <surname>Asperti</surname>
  65         <affiliation>
  66           <address> <email>asperti@cs.unibo.it</email> </address>
  67         </affiliation>
  68       </author>
  69       <author>
  70         <firstname>Claudio</firstname>
  71         <surname>Sacerdoti Coen</surname>
  72         <affiliation>
  73           <address> <email>sacerdot@cs.unibo.it</email> </address>
  74         </affiliation>
  75       </author>
  76       <author>
  77         <firstname>Enrico</firstname>
  78         <surname>Tassi</surname>
  79         <affiliation>
  80           <address> <email>tassi@cs.unibo.it</email> </address>
  81         </affiliation>
  82       </author>
  83       <author>
  84         <firstname>Stefano</firstname>
  85         <surname>Zacchiroli</surname>
  86         <affiliation>
  87           <address> <email>zacchiro@cs.unibo.it</email> </address>
  88         </affiliation>
  89       </author>
  90 <!-- This is appropriate place for other contributors: translators,
  91       maintainers,  etc. Commented out by default.
  92        <othercredit role="translator">
  93         <firstname>Latin</firstname>
  94         <surname>Translator 1</surname>
  95         <affiliation>
  96           <orgname>Latin Translation Team</orgname>
  97           <address> <email>translator@gnome.org</email> </address>
  98         </affiliation>
  99         <contrib>Latin translation</contrib>
 100       </othercredit>
 101 -->
 102     </authorgroup>
 103
 104 <revhistory>
 105       <revision>
 106         <revnumber>&appname; V&appversion; Manual (rev. &manrevision;)</revnumber>
 107         <date>&date;</date>
 108         <revdescription>
 109           <para role="author">The HELM team
 110 <!--
 111             <email>baudais@okstate.edu</email>
 112 -->
 113           </para>
 114 <!--
 115           <para role="publisher">GNOME Documentation Project</para>
 116 -->
 117         </revdescription>
 118       </revision>
 119   <revision>
 120    <revnumber>&manrevision;</revnumber>
 121    <date>4 February 2006</date>
 122    <authorinitials>HELM</authorinitials>
 123    <revremark>
 124    First draft completed.
 125    </revremark>
 126   </revision>
 127
 128  </revhistory>
 129
 130     <releaseinfo>This manual describes version &appversion; of &appname;.
 131     </releaseinfo>
 132
 133     <legalnotice>
 134       &license;
 135     </legalnotice>
 136
 137     <!-- The following feedback information only applies to appliactions
 138     listed in bugzilla.gnome.org and bugzilla.ximian.com. For other
 139     applications, please provide your own feedback info or remove thsi
 140     section altogether -->
 141     <legalnotice>
 142       <title>Feedback</title>
 143       <para>To report a bug or make a suggestion regarding the &app;
 144         application or this manual, follow the directions in the
 145         <ulink url="http://bugs.mowgli.cs.unibo.it" type="http">HELM Bug
 146           Tracking System Page</ulink>.
 147       </para>
 148 <!-- Translators may also add here feedback address for translations -->
 149     </legalnotice>
 150
 151 </bookinfo>
 152
 153 <!-- ============= Document Body ============================= -->
 154
 155 &intro;
 156 &install;
 157 &gettingstarted;
 158 &terms;
 159 &tactics;
 160
 161  <!-- ============= Application License ============================= -->
 162
 163  <chapter id="sec_license">
 164   <title>License</title>
 165   &license;
 166  </chapter>
 167 </book>
 168
 169 <!-- CSC: valid element tags
 170 <sect1 id="intro"> <title>Introduction</title> ...
 171 <sect2 id="what"> <title>What is Matita?</title>
 172 <para>
 173 <note> <title>Note:</title> <para> ...
 174 <footnote> <para> ...
 175 <itemizedlist mark="opencircle">
 176     <listitem>
 177      <para>
 178         The computer player for Iagno is easy to beat.
 179      </para>
 180     </listitem>
 181  </itemizedlist>
 182
 183 <ulink type="http" url="http://www.gnome.org/gdp">
 184 <email>itp@gnu.org</email>
 185 <application>Matita</application>
 186 <command>iagno</command> on the command line
 187 <citetitle>Othello</citetitle>
 188
 189 <guimenuitem>Iagno</guimenuitem>
 190 <guisubmenu>Games</guisubmenu>
 191 <guibutton>none</guibutton>
 192 <menuchoice> <guimenu>Settings</guimenu> <guisubmenu>Preferences </guisubmenu> </menuchoice>
 193
 194 <xref linkend="start-shot"/>.
 195 <figure id="start-shot">
 196  <title>Starting Position</title>
 197  <screenshot>
 198    <mediaobject>
 199    <imageobject>
 200  <imagedata fileref="figures/START.png" format="PNG" srccredit="Eric Baudais"/>
 201   </imageobject>
 202    <textobject>
 203      <phrase>Screenshot of the starting position.</phrase>
 204    </textobject>
 205  </mediaobject>
 206  </screenshot>
 207 </figure>
 208
 209 -->