Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
TPTP Archive
TPTP SkunkWorks
There are a few things I've wanted a place for, and this appears to be the best place for them. If you disagree, the "power of Wiki" is at your disposal... edit this and push them down as far as you want... just please don't think that the right approach is to delete this! -- RDS