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