Copyright © 2005, 2007–2009, 2010 Paul Eggert. All rights reserved.
The programs and program documentation of this course may be redistributed under the terms of the GNU General Public License.