--- a/model/prov-dm.html	Tue May 29 23:21:43 2012 +0100
+++ b/model/prov-dm.html	Tue May 29 23:37:51 2012 +0100
@@ -77,7 +77,9 @@
           var myid=$(this).attr('id');
           var mycount=count++;
 
-          $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle').append("Example " + mycount));
+          
+          $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle')
+                                                          .append($('<a>').attr('href','#'+myid).append("Example " + mycount)));
 
           //console.log( "example for " + myid + " " + mycount);
 
@@ -1036,7 +1038,7 @@
 </li>
 </ul>
 
-<div class="anexample">
+<div class="anexample" id="anexample-prov-n">
 <p>
 An activity with identifier <span class="name">a1</span> and an attribute <span class="name">type</span> with value <span class="name">createFile</span>.
 <pre class="codeexample" >
@@ -1444,7 +1446,7 @@
 <li><span class='attribute' id="entity.attributes">attributes</span>: an OPTIONAL set of attribute-value  pairs ((<span class="name">attr1</span>, <span class="name">val1</span>), ...) representing additional information about this entity.</li>
 </ul></div>
 
-<div class="anexample">
+<div class="anexample" id="anexample-entity">
 <p>
 The following expression</p>
 <pre class="codeexample">
@@ -1481,7 +1483,7 @@
 <li><span class='attribute' id="activity.attributes">attributes</span>:  an OPTIONAL set of attribute-value pairs ((<span class="name">attr1</span>, <span class="name">val1</span>), ...) representing additional information about this activity.</li>
 </ul></div>
 
-<div class="anexample">
+<div class="anexample" id="anexample-activity">
 <p>
 The following expression</p>
 <pre class="codeexample">
@@ -1527,7 +1529,7 @@
 
 
 
-<div class='anexample'>
+<div class='anexample' id="anexample-generation1">
 <p>
 The following expressions</p>
 <pre class="codeexample">
@@ -1542,7 +1544,7 @@
 </div>
 
 
-<div class='anexample'>
+<div class='anexample' id="anexample-generation2">
 <p>
 In some cases, we may want to record the time at which an entity was generated without having to specify the activity that generated it. To support this requirement, the activity element in generation is optional. Hence,  the following expression indicates the time at which an entity is generated, without naming the activity that did it.</p>
 <pre class="codeexample">
@@ -1577,7 +1579,7 @@
 </p>
 
 
-<div class='anexample'>
+<div class='anexample' id="anexample-usage">
 <p>The following usages</p>
 <pre class="codeexample">
   used(a1, e1, 2011-11-16T16:00:00, [ ex:parameter="p1" ])
@@ -1620,7 +1622,7 @@
 
 
 
-<div class="anexample">
+<div class="anexample" id="anexample-communication">
 <p>
 Consider two activities  <span class="name">a1</span> and <span class="name">a2</span>, the former performed by a government agency, and the latter by a driver caught speeding. 
 <pre class="codeexample">
@@ -1652,7 +1654,7 @@
 <p>While each of <a href="#start.id"><span class='attribute'>id</span></a>, <a href="#start.trigger"><span class='attribute'>trigger</span></a>, <a href="#start.starter"><span class='attribute'>starter</span></a>, <a href="#start.time"><span class='attribute'>time</span></a>, and  <a href="#start.attributes"><span class='attribute'>attributes</span></a> is OPTIONAL, at least one of them MUST be present.</p>
 
 
-<div class="anexample">
+<div class="anexample" id="anexample-start1">
 <p>
 The following example contains the description of an activity <span class="name">a1</span> (a discussion), which was started at a specific time, and was triggered by an email message <span class="name">e1</span>.</p>
 <pre class="codeexample">
@@ -1676,7 +1678,7 @@
 </pre>
 </div>
 
-<div class="anexample">
+<div class="anexample" id="anexample-start2">
 <p>
 In the following example, a race is started by a bang, and responsibility for this trigger is attributed to an agent 
  <span class="name">ex:Bob</span>.
@@ -1689,7 +1691,7 @@
 </pre>
 </div>
 
-<div class="anexample">
+<div class="anexample" id="anexample-start3">
 <p>
 In this example, filling fuel was started as a consequence of
 observing low fuel. The trigger entity is unspecified, it could
@@ -1697,7 +1699,7 @@
 indicator needle position, or the engine not running properly.
 
 
-<pre class="codeexample">
+<pre class="codeexample" id="anexample-start4">
 activity(ex:filling-fuel)
 activity(ex:observing-low-fuel)
 
@@ -1733,7 +1735,7 @@
 <p>While each of <a href="#end.id"><span class='attribute'>id</span></a>, <a href="#end.trigger"><span class='attribute'>trigger</span></a>, <a href="#end.ender"><span class='attribute'>ender</span></a>, <a href="#end.time"><span class='attribute'>time</span></a>, and  <a href="#end.attributes"><span class='attribute'>attributes</span></a> is OPTIONAL, at least one of them MUST be present.</p>
 
 
-<div class="anexample">
+<div class="anexample" id="anexample-end">
 <p>
 The following example is a description of an activity <span class="name">a1</span> (editing) that was ended following an approval document <span class="name">e1</span>.</p>
 <pre class="codeexample">
@@ -1904,7 +1906,7 @@
 
 
 
-<div class="anexample">
+<div class="anexample" id="anexample-derivation">
 <p>The following descriptions are about derivations between  <span class="name">e2</span> and  <span class="name">e1</span>, but no information is provided as to the identity of the activity (and usage and generation) underpinning the derivation. In the second line, a type attribute is also provided.</p>
 <pre class="codeexample">
 wasDerivedFrom(e2, e1)