src/Pure/ProofGeneral/pgip.ML
2006-12-04 aspinall 2006-12-04 Include pgip markup module
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.