src/Pure/ProofGeneral/proof_general_emacs.ML
Tue, 15 Jul 2008 15:46:43 +0200 wenzelm refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
Tue, 15 Jul 2008 14:15:43 +0200 wenzelm added status channel;
Tue, 15 Jul 2008 11:50:04 +0200 wenzelm simplified commit_exit;
Mon, 14 Jul 2008 22:55:48 +0200 wenzelm print_mode "test_markup": do not change prompt, otherwise Proof General will not work;
Mon, 14 Jul 2008 22:26:53 +0200 wenzelm tuned message;
Mon, 14 Jul 2008 21:39:08 +0200 wenzelm inform_file_processed: Isar.init_point last!
Mon, 14 Jul 2008 19:57:13 +0200 wenzelm inform_file_processed: try harder not to fail, ensure
Mon, 14 Jul 2008 17:51:44 +0200 wenzelm proper_inform_file_processed: new implementation based on global Isar state (cf. isar.ML);
Thu, 10 Jul 2008 21:12:34 +0200 wenzelm restart: Isar.init_point;
Thu, 10 Jul 2008 21:03:47 +0200 wenzelm proper_inform_file_processed: Isar.init_point starts fresh command sequence;
Thu, 10 Jul 2008 20:54:00 +0200 wenzelm activated new versions of undo, kill_proof;
Thu, 10 Jul 2008 20:03:30 +0200 wenzelm added ProofGeneral.isar_kill_proof;
Thu, 17 Apr 2008 16:30:52 +0200 wenzelm replaced token translations by common markup;
Mon, 14 Apr 2008 14:28:47 +0200 wenzelm Isar.toplevel_loop: separate init/welcome flag;
Thu, 10 Apr 2008 14:53:29 +0200 wenzelm ThyInfo.get_names;
Thu, 10 Apr 2008 13:44:43 +0200 wenzelm replaced Isar loop variants by generic toplevel_loop;
Thu, 03 Apr 2008 21:23:41 +0200 wenzelm moved test_markup here;
Thu, 03 Apr 2008 18:42:40 +0200 wenzelm XML.output_markup;
Thu, 03 Apr 2008 16:03:56 +0200 wenzelm Symbol.SOH;
Fri, 28 Mar 2008 20:02:04 +0100 wenzelm Context.>> : operate on Context.generic;
Thu, 27 Mar 2008 15:32:15 +0100 wenzelm eliminated delayed theory setup
Wed, 05 Mar 2008 22:58:12 +0100 wenzelm IsabelleProcess.output_markup;
Sun, 06 Jan 2008 15:57:56 +0100 wenzelm replaced prompt markup by prompt channel setup;
Sun, 30 Dec 2007 23:07:31 +0100 wenzelm tuned;
Fri, 14 Dec 2007 21:15:36 +0100 wenzelm tuned;
Thu, 06 Dec 2007 00:21:32 +0100 wenzelm moved basic test_markup to isabelle_process.ML;
Mon, 19 Nov 2007 11:09:09 +0100 wenzelm inform_file_processed: made even more robust against bad file specs;
Sun, 18 Nov 2007 16:10:12 +0100 wenzelm removed unused inform_file_processed;
Thu, 15 Nov 2007 11:49:04 +0100 wenzelm thy_name: be very liberal about file name format (workaround problem with XEmacs on cygwin);
Thu, 25 Oct 2007 16:57:57 +0200 wenzelm made command 'undo' silent ('ProofGeneral.undo' becomes a historical relic);
Sat, 06 Oct 2007 22:31:57 +0200 wenzelm removed obsolete write_keywords;
Sat, 06 Oct 2007 21:21:45 +0200 wenzelm export init_outer_syntax;
Sat, 06 Oct 2007 17:53:45 +0200 wenzelm tuned;
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
Tue, 25 Sep 2007 17:06:14 +0200 wenzelm proper Sign operations instead of Theory aliases;
Fri, 07 Sep 2007 22:13:45 +0200 wenzelm added hilite markup;
Sun, 19 Aug 2007 12:43:05 +0200 aspinall Use 376/377 specials for sendback markup
Wed, 15 Aug 2007 19:24:23 +0200 wenzelm added sendback;
Mon, 13 Aug 2007 18:10:22 +0200 wenzelm Lexicon.read_indexname/nat/variable;
Tue, 31 Jul 2007 00:56:32 +0200 wenzelm ThyInfo.register_thy;
Sun, 22 Jul 2007 21:20:58 +0200 wenzelm inform_file_processed: tuned msg, no state;
Tue, 10 Jul 2007 16:45:05 +0200 wenzelm removed no_state markup -- produce empty state;
Mon, 09 Jul 2007 11:44:23 +0200 wenzelm simplified writeln_fn;
Sat, 07 Jul 2007 18:39:21 +0200 wenzelm toplevel prompt/print_state: proper markup, removed hooks;
Sat, 07 Jul 2007 00:15:02 +0200 wenzelm simplified pretty token metric: type int;
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;
less more (0) -60 tip