Copyright © 2015–2020 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.