Assorted changes to get problems working with new, flexible labels.
[course.git] / pdf /
2009-06-08 W. Trevor KingBegan versioning.