Copyright © 2005–2007, 2011 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.