src/Pure/Interface/proof_general.ML
Wed, 07 Jun 2000 14:19:10 +0200 wenzelm update_thy_only: setmp Thm.trace_simp false;
Wed, 31 May 2000 14:29:42 +0200 wenzelm Toplevel.no_timing;
Fri, 26 May 2000 18:28:15 +0200 wenzelm write major keywords;
Thu, 18 May 2000 19:04:04 +0200 wenzelm print_state: flag for proof only;
Wed, 05 Apr 2000 21:01:33 +0200 wenzelm suppress warning;
Sat, 01 Apr 2000 20:09:52 +0200 wenzelm added ProofGeneral.undo;
Fri, 17 Mar 2000 16:27:28 +0100 wenzelm no begin_goal marker (interferes with "latex" etc. output; useless anyway?)
Tue, 14 Mar 2000 22:57:54 +0100 wenzelm silence undo command;
Mon, 13 Mar 2000 23:01:09 +0100 wenzelm proper symbol_output for "xsymbols" mode;
Fri, 03 Mar 2000 01:58:57 +0100 wenzelm token_trans: symbol length;
Mon, 21 Feb 2000 14:09:18 +0100 wenzelm var: skolem;
Thu, 28 Oct 1999 14:00:25 +0200 wenzelm improved IsarThy.init_context;
Wed, 27 Oct 1999 18:12:40 +0200 wenzelm tuned msg;
Wed, 27 Oct 1999 17:27:07 +0200 wenzelm added (try_)update_thy_only;
Tue, 26 Oct 1999 22:34:01 +0200 wenzelm tuned;
Tue, 26 Oct 1999 19:06:52 +0200 wenzelm added inform_file_processed, inform_file_retracted;
Fri, 22 Oct 1999 20:25:19 +0200 wenzelm tuned repeat_undo;
Thu, 21 Oct 1999 19:00:25 +0200 wenzelm tuned trace_action;
Wed, 20 Oct 1999 15:53:22 +0200 wenzelm eliminated isar_action;
Sun, 26 Sep 1999 16:38:50 +0200 wenzelm ThmDatabase.print_thms_containing;
Sat, 25 Sep 1999 13:06:06 +0200 wenzelm skolem_tag;
Wed, 22 Sep 1999 21:49:37 +0200 wenzelm thms_containing: single writeln;
Wed, 22 Sep 1999 21:45:05 +0200 wenzelm added thms_containing;
Wed, 01 Sep 1999 21:05:48 +0200 wenzelm isar: avoid verbose goal responses;
Tue, 24 Aug 1999 11:43:30 +0200 wenzelm print_mode activated again;
Thu, 19 Aug 1999 16:33:53 +0200 wenzelm disabled print_mode (tmp);
Wed, 18 Aug 1999 20:41:16 +0200 wenzelm isa_action: don't lock pretend_used files;
Tue, 17 Aug 1999 17:52:04 +0200 wenzelm Goals.reset_goals;
Mon, 16 Aug 1999 15:15:14 +0200 wenzelm tuned prompts;
Fri, 06 Aug 1999 22:43:51 +0200 wenzelm made SML happy;
Fri, 06 Aug 1999 22:34:00 +0200 wenzelm proper ProofGeneral/isa setup;
Tue, 27 Jul 1999 21:55:39 +0200 wenzelm setup_thy_loader;
Fri, 16 Jul 1999 22:27:16 +0200 wenzelm adapted to dest_keywords, dest_parsers;
Fri, 09 Jul 1999 16:55:20 +0200 wenzelm write_keywords: default file name;
Wed, 30 Jun 1999 12:24:32 +0200 wenzelm Isar.sync_main;
Tue, 25 May 1999 20:19:59 +0200 wenzelm fixed cvs Id;
Mon, 24 May 1999 21:54:34 +0200 wenzelm write_keywords generates outer syntax keyword classification in elisp;
Fri, 21 May 1999 16:26:06 +0200 wenzelm Configuration for ProofGeneral of LFCS Edinburgh.
less more (0) tip