bowersj2 Mon Jun 2 14:50:02 2003 EDT Removed files: /doc/help course.instructor.texxml Log: This isn't worth keeping as a seperate manual.