--- a/model/glossary.js Mon Nov 05 16:13:54 2012 +0000
+++ b/model/glossary.js Mon Nov 05 16:14:02 2012 +0000
@@ -3,7 +3,7 @@
// with <script src="glossary.js" class="remove"></script>
//Insert glossary definitions with the following
// <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/38d5d16a9bed/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/56b60b1bf7f6/model/glossary.html';
glossary_string=
' ' +
'<html> ' +
@@ -158,7 +158,7 @@
'</span> ' +
' ' +
'<span class="glossary" id="glossary-start"> ' +
-'<dfn id="concept-start">Start</dfn> is when an activity is deemed to have been started by an an entity, known as <dfn id="concept-start-trigger">trigger</dfn>. ' +
+'<dfn id="concept-start">Start</dfn> is when an activity is deemed to have been started by an entity, known as <dfn id="concept-start-trigger">trigger</dfn>. ' +
' The activity did not exist before its start. Any usage, generation, or invalidation involving an activity follows the activity\'s start. ' +
'A start may refer to a trigger entity that set off the activity, or to an activity, known as <dfn id="concept-start-starter">starter</dfn>, that generated the trigger. ' +
'</span> ' +