matita/help/C/matita.xml

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