2009-04-04: Updated Assertion Language Manual

Version 6.3 of the Bound-T Assertion Language Manual (pdf) was published today on the Bound-T website.

This is a significant update of the assertion language. New features introduced include:

The use of marks in source-code files is helped by a new auxiliary program find_marks that Tidorum has announced.


Valid HTML 4.01 Transitional