src/Pure/ProofGeneral/pgip.ML
Mon, 04 Dec 2006 22:11:28 +0100 aspinall Include pgip markup module
Mon, 04 Dec 2006 20:40:11 +0100 aspinall Revamped Proof General interface.
less more (0) tip