src/Pure/ProofGeneral/proof_general_emacs.ML
2006-12-30 wenzelm 2006-12-30 removed dead code;
2006-12-30 wenzelm 2006-12-30 removed conditional combinator; refrain from setting ml_prompts again; tuned init;
2006-12-30 wenzelm 2006-12-30 inform_file_processed: Toplevel.init_empty;
2006-12-29 wenzelm 2006-12-29 removed obsolete init_pgip; removed obsolete redo, context_thy etc.;
2006-12-29 wenzelm 2006-12-29 tuned;
2006-12-29 wenzelm 2006-12-29 minor tuning;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-12-05 aspinall 2006-12-05 Support PGIP communication for preferences in Emacs mode.
2006-12-04 aspinall 2006-12-04 Add separate PG Emacs configuration