pToolSet 8.15 is here...
- Dear pToolSetters:
This is probably the final release with no change from 8.14.
Get the latest pToolSet 8.15 from
WARNING. Since pedit, LapTopHack, and pToolSet share components, if you use
more than one of them, then they all must be of the same version, preferably
the latest one.