New checkpoints 15.1 & 15.2 for Spec guideline documents (A-2002-05-02-2)

Lofton,

Below please find (HTML formatted) new checkpoints for editorial 
purposes. ID and name attributes do not have correct values as the 
primer was copied from the existing document. The text is to be inserted 
in place of existing checkpoints 15.1 and 15.2.

---

       <p class="checkpoint1">
Checkpoint 15.1. <a id="Ck-markup-assertions" name="Ck-markup-
assertions">Supply test assertions in the markup of the
specification, if applicable using a set of predefined tags used in the
specification markup language.</a>
          <span class="priority1">[Priority&nbsp;1]</span>
       </p>
	<p>In order to make possible pointing to test assertions from tests 
as well as give a map of the specification from the point of view of 
tests, use a mechanism for making explicit testable assertions in the 
specification (@@markup particulars are being investigated as of 
2002-07-05; ED).</p>


       <a id="b2ab3d521" name="b2ab3d521"/>
       <p class="checkpoint1">
Checkpoint 15.2. <a id="Ck-tag-assertions" name="Ck-tag-assertions">Tag
test assertions according to the above.</a>
          <span class="priority1">[Priority&nbsp;1]</span>
	<p>Where applicable, use existing markup for making explicit the 
testable assertions for the specification. If possible, use markup 
provided in (@@[SpecGL ExTech. Link needed]), otherwise construct test 
assertion markup acording to (@@[SpecGL ExTech and/or Test GL (ExTech). 
Link needed]).</p>
       </p>

---

This concludes my action item A-2002-05-02-2

Best,

/Dimitris