src/Pure/ProofGeneral/preferences.ML
Tue, 05 Dec 2006 13:56:43 +0100 aspinall Support PGIP communication for preferences in Emacs mode.
Mon, 04 Dec 2006 20:40:11 +0100 aspinall Revamped Proof General interface.
less more (0) tip