doc-src/TutorialI/pghead.pdf
2005-06-13 paulson 2005-06-13 downgraded to pdf v 1.4
2005-05-26 paulson 2005-05-26 Narrower version of the Proof General's head
2005-05-25 paulson 2005-05-25 new environments for Proof General notes