Release history
Introduction and background
Release history
1.0.1 (2012-12-19, @rev207)
minor typographic corrections, provided PDF version
1.0.0 (2012-12-14, @rev205)
first release