This feature combines all parts needed by the TLA2Tex generator.