I believe I taught a full course based on this package at least once in each of the past twenty years. Like many logic instructors, I am a long-time user of the multimedia package Language, Proof and Logic (LPL) by Jon Barwise, John Etchemendy, and Dave Barker-Plummer.
Logic Courseware, Surveyed by Curtis Franks