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