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