Release history

1.1 (2020-01-21, @rev224)

small corrections and updated links in HTML version and PDF version

1.0.1 (2012-12-19, @rev208)

minor typographic corrections, added PDF version

1.0 (2012-12-14, @rev205)

first release