| Tue, 04 Dec 2001 02:02:36 +0100 | wenzelm | disable markup of tracing output (tmp?); | file | diff | annotate |
| Wed, 21 Nov 2001 00:35:13 +0100 | wenzelm | tracing_fn; | file | diff | annotate |
| Thu, 15 Nov 2001 23:25:01 +0100 | wenzelm | write_keywords: string argument (logic name); | file | diff | annotate |
| Mon, 22 Oct 2001 18:02:04 +0200 | wenzelm | Display.print_current_goals_fn; | file | diff | annotate |
| Thu, 30 Aug 2001 22:51:11 +0200 | wenzelm | generated by Session.name; | file | diff | annotate |
| Thu, 01 Feb 2001 20:43:14 +0100 | wenzelm | thms_containing: term args; | file | diff | annotate |
| Sun, 21 Jan 2001 19:54:52 +0100 | wenzelm | setup indent; | file | diff | annotate |
| Thu, 18 Jan 2001 20:38:32 +0100 | wenzelm | infix \\\\; | file | diff | annotate |
| Tue, 07 Nov 2000 17:53:12 +0100 | berghofe | Moved rewriting functions from Thm to MetaSimplifier. | file | diff | annotate |
| Wed, 18 Oct 2000 23:26:42 +0200 | wenzelm | restart: do not reset theory loader path; | file | diff | annotate |
| Tue, 26 Sep 2000 17:01:59 +0200 | wenzelm | updated url; | file | diff | annotate |
| Fri, 15 Sep 2000 16:40:20 +0200 | wenzelm | tuned init sequence; | file | diff | annotate |
| Mon, 11 Sep 2000 17:39:18 +0200 | wenzelm | proper markup of schematic (!) skolems; | file | diff | annotate |
| Sun, 03 Sep 2000 20:03:53 +0200 | wenzelm | proper_inform_file_processed: ThyInfo.pretend_use_thy_only; | file | diff | annotate |
| Fri, 01 Sep 2000 00:32:46 +0200 | wenzelm | priority_fn := decorate_lines; | file | diff | annotate |
| Thu, 31 Aug 2000 00:16:32 +0200 | wenzelm | improved handling of messages: do not decorate writeln output; | file | diff | annotate |
| Mon, 28 Aug 2000 14:09:33 +0200 | wenzelm | restart_loader: reset_path; | file | diff | annotate |
| Sat, 19 Aug 2000 12:48:26 +0200 | wenzelm | cond_add_path; | file | diff | annotate |
| Thu, 03 Aug 2000 18:44:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 03 Aug 2000 00:45:30 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 02 Aug 2000 16:49:26 +0200 | wenzelm | isa: do not touch_all_thys on startup; | file | diff | annotate |
| Sun, 30 Jul 2000 12:50:33 +0200 | wenzelm | ThmDeps.enable; | file | diff | annotate |
| Wed, 07 Jun 2000 14:19:10 +0200 | wenzelm | update_thy_only: setmp Thm.trace_simp false; | file | diff | annotate |
| Wed, 31 May 2000 14:29:42 +0200 | wenzelm | Toplevel.no_timing; | file | diff | annotate |
| Fri, 26 May 2000 18:28:15 +0200 | wenzelm | write major keywords; | file | diff | annotate |
| Thu, 18 May 2000 19:04:04 +0200 | wenzelm | print_state: flag for proof only; | file | diff | annotate |
| Wed, 05 Apr 2000 21:01:33 +0200 | wenzelm | suppress warning; | file | diff | annotate |
| Sat, 01 Apr 2000 20:09:52 +0200 | wenzelm | added ProofGeneral.undo; | file | diff | annotate |
| Fri, 17 Mar 2000 16:27:28 +0100 | wenzelm | no begin_goal marker (interferes with "latex" etc. output; useless anyway?) | file | diff | annotate |
| Tue, 14 Mar 2000 22:57:54 +0100 | wenzelm | silence undo command; | file | diff | annotate |
| Mon, 13 Mar 2000 23:01:09 +0100 | wenzelm | proper symbol_output for "xsymbols" mode; | file | diff | annotate |
| Fri, 03 Mar 2000 01:58:57 +0100 | wenzelm | token_trans: symbol length; | file | diff | annotate |
| Mon, 21 Feb 2000 14:09:18 +0100 | wenzelm | var: skolem; | file | diff | annotate |
| Thu, 28 Oct 1999 14:00:25 +0200 | wenzelm | improved IsarThy.init_context; | file | diff | annotate |
| Wed, 27 Oct 1999 18:12:40 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Wed, 27 Oct 1999 17:27:07 +0200 | wenzelm | added (try_)update_thy_only; | file | diff | annotate |
| Tue, 26 Oct 1999 22:34:01 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Oct 1999 19:06:52 +0200 | wenzelm | added inform_file_processed, inform_file_retracted; | file | diff | annotate |
| Fri, 22 Oct 1999 20:25:19 +0200 | wenzelm | tuned repeat_undo; | file | diff | annotate |
| Thu, 21 Oct 1999 19:00:25 +0200 | wenzelm | tuned trace_action; | file | diff | annotate |
| Wed, 20 Oct 1999 15:53:22 +0200 | wenzelm | eliminated isar_action; | file | diff | annotate |
| Sun, 26 Sep 1999 16:38:50 +0200 | wenzelm | ThmDatabase.print_thms_containing; | file | diff | annotate |
| Sat, 25 Sep 1999 13:06:06 +0200 | wenzelm | skolem_tag; | file | diff | annotate |
| Wed, 22 Sep 1999 21:49:37 +0200 | wenzelm | thms_containing: single writeln; | file | diff | annotate |
| Wed, 22 Sep 1999 21:45:05 +0200 | wenzelm | added thms_containing; | file | diff | annotate |
| Wed, 01 Sep 1999 21:05:48 +0200 | wenzelm | isar: avoid verbose goal responses; | file | diff | annotate |
| Tue, 24 Aug 1999 11:43:30 +0200 | wenzelm | print_mode activated again; | file | diff | annotate |
| Thu, 19 Aug 1999 16:33:53 +0200 | wenzelm | disabled print_mode (tmp); | file | diff | annotate |
| Wed, 18 Aug 1999 20:41:16 +0200 | wenzelm | isa_action: don't lock pretend_used files; | file | diff | annotate |
| Tue, 17 Aug 1999 17:52:04 +0200 | wenzelm | Goals.reset_goals; | file | diff | annotate |
| Mon, 16 Aug 1999 15:15:14 +0200 | wenzelm | tuned prompts; | file | diff | annotate |
| Fri, 06 Aug 1999 22:43:51 +0200 | wenzelm | made SML happy; | file | diff | annotate |
| Fri, 06 Aug 1999 22:34:00 +0200 | wenzelm | proper ProofGeneral/isa setup; | file | diff | annotate |
| Tue, 27 Jul 1999 21:55:39 +0200 | wenzelm | setup_thy_loader; | file | diff | annotate |
| Fri, 16 Jul 1999 22:27:16 +0200 | wenzelm | adapted to dest_keywords, dest_parsers; | file | diff | annotate |
| Fri, 09 Jul 1999 16:55:20 +0200 | wenzelm | write_keywords: default file name; | file | diff | annotate |
| Wed, 30 Jun 1999 12:24:32 +0200 | wenzelm | Isar.sync_main; | file | diff | annotate |
| Tue, 25 May 1999 20:19:59 +0200 | wenzelm | fixed cvs Id; | file | diff | annotate |
| Mon, 24 May 1999 21:54:34 +0200 | wenzelm | write_keywords generates outer syntax keyword classification in elisp; | file | diff | annotate |
| Fri, 21 May 1999 16:26:06 +0200 | wenzelm | Configuration for ProofGeneral of LFCS Edinburgh. | file | diff | annotate |