I like PLT a lot - DrScheme is a great environment; the stepper is such a crucial tool, especially since I'm still in the learning stage.