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