Description
Candidate TA markup CSD 05 May 26, pdf, non-diff.
- 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.