Customizing the Specifications Tree

This section shows ways of customizing the specifications tree.