Copyright © 2005, 2006, 2007 Paul Eggert. All rights reserved.
Program code and documentation that are specific to this quarter's course may be redistributed under the terms of the GNU General Public License.