Main  History  Search  Repository tree

[BACK] Return to 056-058.xml CVS log [TXT][DIR] Up to [CVSROOT] / texts / archimedes / matching

Colored diff for /texts/archimedes/matching/056-058.xml between version 1.3 and 1.4

version 1.3, 2005/08/09 13:53:36 version 1.4, 2005/08/11 12:16:00
Line 2 
Line 2 
 <mapping xmlns:xlink="http://www.w3.org/1999/xlink" encoding="Latin1"> <mapping xmlns:xlink="http://www.w3.org/1999/xlink" encoding="Latin1">
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000001" />                         <link xlink:href="056.xml#id.000001" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000001" />                         <link xlink:href="058.xml#id.000001" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000002" />                         <link xlink:href="056.xml#id.000002" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000002" />                         <link xlink:href="058.xml#id.000002" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000003" />                         <link xlink:href="056.xml#id.000003" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000003" />                         <link xlink:href="058.xml#id.000003" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000004" />                         <link xlink:href="056.xml#id.000004" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000004" />                         <link xlink:href="058.xml#id.000004" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000005" />                         <link xlink:href="056.xml#id.000005" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000005" />                         <link xlink:href="058.xml#id.000005" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000006" />                         <link xlink:href="056.xml#id.000006" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000006" />                         <link xlink:href="058.xml#id.000006" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000007" />                         <link xlink:href="056.xml#id.000007" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000007" />                         <link xlink:href="058.xml#id.000007" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000008" />                         <link xlink:href="056.xml#id.000008" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000008" />                         <link xlink:href="058.xml#id.000008" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000009" />                         <link xlink:href="056.xml#id.000009" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000009" />                         <link xlink:href="058.xml#id.000009" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000010" />                         <link xlink:href="056.xml#id.000010" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000010" />                         <link xlink:href="058.xml#id.000010" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000011" />                         <link xlink:href="056.xml#id.000011" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000011" />                         <link xlink:href="058.xml#id.000011" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000012" />                         <link xlink:href="056.xml#id.000012" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000012" />                         <link xlink:href="058.xml#id.000012" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000013" />                         <link xlink:href="056.xml#id.000013" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000013" />                         <link xlink:href="058.xml#id.000013" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000014" />                         <link xlink:href="056.xml#id.000014" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000014" />                         <link xlink:href="058.xml#id.000014" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000015" />                         <link xlink:href="056.xml#id.000015" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000014" />                         <link xlink:href="058.xml#id.000014" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000017" />                         <link xlink:href="056.xml#id.000017" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000015" />                         <link xlink:href="058.xml#id.000015" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000018" />                         <link xlink:href="056.xml#id.000018" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000016" />                         <link xlink:href="058.xml#id.000016" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000023" />                         <link xlink:href="056.xml#id.000023" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000017" />                         <link xlink:href="058.xml#id.000017" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000024" />                         <link xlink:href="056.xml#id.000024" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000018" />                         <link xlink:href="058.xml#id.000018" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000025" />                         <link xlink:href="056.xml#id.000025" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000001" />                         <link xlink:href="058.xml#id.000001" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000027" />                         <link xlink:href="056.xml#id.000027" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000019" />                         <link xlink:href="058.xml#id.000019" />
                 </target>                 </target>
         </map>         </map>
         <map>         <map>
                 <source>                 <source>
                         <link xlink:href="056#id.000028" />                         <link xlink:href="056.xml#id.000028" />
                 </source>                 </source>
                 <target>                 <target>
                         <link xlink:href="058#id.000020" />                         <link xlink:href="058.xml#id.000020" />
                 </target>                 </target>
         </map>         </map>
 </mapping> </mapping>

Legend:
Removed from v.1.3 
changed lines
 Added in v.1.4