The ProTeX system consists of documenting conventions, described in section A.1, and corresponding tools whose use is detailed in section A.2.
This reference manual is a working document and will be updated when the system is extended or modified.