src/Pure/ProofGeneral/proof_general_pgip.ML
2006-12-30 wenzelm 2006-12-30 removed dead code;
2006-12-30 wenzelm 2006-12-30 removed conditional combinator; avoid handle _; showctxt: print_context (cf. local theory context); searchtheorems: proper find_theorems; refrain from setting ml_prompts again; tuned init_pgip;
2006-12-30 wenzelm 2006-12-30 inform_file_processed: Toplevel.init_empty;
2006-12-29 wenzelm 2006-12-29 removed obsolete context_thy etc.;
2006-12-29 wenzelm 2006-12-29 minor tuning;
2006-12-27 haftmann 2006-12-27 made SML/NJ happy
2006-12-19 aspinall 2006-12-19 Remove obsolete prefixes from error and warning messages.
2006-12-17 aspinall 2006-12-17 Add abstraction for objtypes and documents.
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 Document structure in pgip_markup.ML. Minor fixes.
2006-12-05 aspinall 2006-12-05 Support PGIP communication for preferences in Emacs mode.
2006-12-05 wenzelm 2006-12-05 thm/prf: separate official name vs. additional tags;
2006-12-04 aspinall 2006-12-04 Add separate PG Emacs configuration
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.