Description
New candidate CSD05 TA Markup (rev May/26) , .odt with diffs:
- fixing all editorial comments from Dennis.
- renamed @toid as @taid.
- redefine more precisely the conditions of "implicit definitions" in the markup. In particular, testAssertion/@id is now mandatory.