Community
Participate
Working Groups
Clients should be able to easily extend macro commands through extension points. (i.e. If a client wishes to handle specific macro commands, then they should be able to implement their own)
Setting the version to 4.2 and will adjust target milestone once it is approved for the plan
Updating target to future as requested by the PMC. Enhancements are targeted to future if not in plan for the current release.
Reassigning to current component lead.
In TPTP 4.5, the AGR was moved from a Technology Preview component to an As-Is component. As-Is components are primarily provided for prior users but imply no support (for example, defects, news group, and mailing lists) or commitment to triage or resolve opened defects. For this defect to be considered, please re-open with an attached patch including code to resolve the symptom and test cases to test the fix.
The enhancement I added to bug #133099 supports the respective feature by offering a macroCommandFactory extension point, which allows to add custom command implementations.
Closing by default since not closed by the originator in the 7+ months since being resolved. Please reopen if the issue is still present in the latest TPTP release or the resolution is not correct.