How To Documentation Template

XT -- A Bundle of Program Transformation Tools
Task

One sentence.

Description

Global (step-wise) procedure for carrying-out the task.

Examples

Specific instantiation of the global procedure for specific input.

See also

Other relevant pages.