src/Pure/ProofGeneral/proof_general_emacs.ML
Sun, 15 Apr 2007 14:31:59 +0200 wenzelm removed unused Output.panic hook -- internal to PG wrapper;
Sat, 14 Apr 2007 17:36:05 +0200 wenzelm Term.string_of_vname;
Wed, 04 Apr 2007 00:11:23 +0200 wenzelm removed unused info channel;
Thu, 01 Feb 2007 20:40:34 +0100 wenzelm proper use of PureThy.has_name_hint instead of hard-wired string'';
Wed, 31 Jan 2007 20:07:40 +0100 aspinall Fix tell_thm_deps to match changse in PureThy.
Mon, 22 Jan 2007 15:34:15 +0100 aspinall Comment
Thu, 04 Jan 2007 19:27:08 +0100 wenzelm broken error handling for command syntax -- reverted to revision 1.9;
Thu, 04 Jan 2007 11:56:53 +0100 haftmann eliminated Option.app
Wed, 03 Jan 2007 22:59:30 +0100 aspinall Fix error reporting in Emacs to also match Isar command failure exactly.
Sat, 30 Dec 2006 16:20:32 +0100 wenzelm removed dead code;
Sat, 30 Dec 2006 16:08:09 +0100 wenzelm removed conditional combinator;
Sat, 30 Dec 2006 12:33:29 +0100 wenzelm inform_file_processed: Toplevel.init_empty;
Fri, 29 Dec 2006 19:50:50 +0100 wenzelm removed obsolete init_pgip;
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