Deleted doc/pdf for proposal since we have the Latex version now