Main file for version 1.2 of this document