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