doc-src/TutorialI/pghead.eps
Thu, 26 May 2005 10:02:01 +0200 paulson Narrower version of the Proof General's head
less more (0) tip