| 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 |