src/Pure/ProofGeneral/proof_general_pgip.ML
2007-01-07 ago Be more chatty in PGIP file operations.
2007-01-05 ago removed Toplevel.print_exn hook -- existing error_msg_fn does the job;
2007-01-04 ago Use warning fatality
2007-01-04 ago eliminated Option.app
2007-01-03 ago Use Isar toplevel print_exn_fn for generating error responses instead of Output.error_msg.
2006-12-31 ago Initialise parser at startup. Remove some obsolete ProofGeneral.XXX outer syntax, mapping PGIP commands directly to Isar.
2006-12-30 ago removed dead code;
2006-12-30 ago removed conditional combinator;
2006-12-30 ago inform_file_processed: Toplevel.init_empty;
2006-12-29 ago removed obsolete context_thy etc.;
2006-12-29 ago minor tuning;
2006-12-27 ago made SML/NJ happy
2006-12-19 ago Remove obsolete prefixes from error and warning messages.
2006-12-17 ago Add abstraction for objtypes and documents.
2006-12-15 ago avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-12-05 ago Document structure in pgip_markup.ML. Minor fixes.
2006-12-05 ago Support PGIP communication for preferences in Emacs mode.
2006-12-05 ago thm/prf: separate official name vs. additional tags;
2006-12-04 ago Add separate PG Emacs configuration
2006-12-04 ago Revamped Proof General interface.