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