view texts/archimedesOldCVSRepository/archimedes/matching/056-058.xml @ 31:edf6e8fcf323 default tip

Removing DESpecs directory which deserted to git
author Klaus Thoden <kthoden@mpiwg-berlin.mpg.de>
date Wed, 29 Nov 2017 16:55:37 +0100
parents 22d6a63640c6
children
line wrap: on
line source

<?xml version="1.0" encoding="utf-8"?>
<mapping xmlns:xlink="http://www.w3.org/1999/xlink" encoding="Latin1">
	<map>
		<source>
			<link xlink:href="056.xml#id.000001" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000001" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000002" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000002" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000003" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000003" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000004" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000004" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000005" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000005" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000006" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000006" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000007" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000007" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000008" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000008" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000009" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000009" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000010" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000010" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000011" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000011" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000012" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000012" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000013" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000013" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000014" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000014" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000015" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000014" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000017" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000015" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000018" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000016" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000023" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000017" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000024" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000018" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000025" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000001" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000027" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000019" />
		</target>
	</map>
	<map>
		<source>
			<link xlink:href="056.xml#id.000028" />
		</source>
		<target>
			<link xlink:href="058.xml#id.000020" />
		</target>
	</map>
</mapping>