src/Pure/ProofGeneral/proof_general_emacs.ML
Fri, 29 Dec 2006 18:46:06 +0100 wenzelm tuned;
Fri, 29 Dec 2006 18:25:46 +0100 wenzelm minor tuning;
Fri, 15 Dec 2006 00:08:06 +0100 wenzelm avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
Tue, 05 Dec 2006 13:56:43 +0100 aspinall Support PGIP communication for preferences in Emacs mode.
Mon, 04 Dec 2006 22:12:08 +0100 aspinall Add separate PG Emacs configuration
less more (0) tip