| Tue, 04 Jul 2006 15:30:29 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 24 May 2006 21:58:07 +0200 | wenzelm | Pure: update on overloaded defs; | file | diff | annotate |
| Tue, 16 May 2006 21:33:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 13 May 2006 02:51:33 +0200 | wenzelm | added defs (unchecked)''; | file | diff | annotate |
| Tue, 14 Mar 2006 22:06:29 +0100 | wenzelm | print_statement; | file | diff | annotate |
| Tue, 14 Mar 2006 16:29:32 +0100 | wenzelm | tuned constdecl; | file | diff | annotate |
| Wed, 08 Mar 2006 18:37:24 +0100 | wenzelm | constdecl: always allow 'where'; | file | diff | annotate |
| Thu, 16 Feb 2006 18:25:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 02 Feb 2006 16:31:32 +0100 | wenzelm | 'obtains' element; | file | diff | annotate |
| Tue, 31 Jan 2006 00:39:40 +0100 | wenzelm | advanced translations: Context.generic; | file | diff | annotate |
| Mon, 30 Jan 2006 12:20:06 +0100 | wenzelm | 'setup': no list type, support implicit setup; | file | diff | annotate |
| Tue, 03 Jan 2006 11:57:33 +0100 | wenzelm | fixed LaTeX source; | file | diff | annotate |
| Tue, 03 Jan 2006 00:06:24 +0100 | wenzelm | added 'using' command; | file | diff | annotate |
| Wed, 30 Nov 2005 22:52:46 +0100 | wenzelm | simulaneous 'def'; | file | diff | annotate |
| Wed, 23 Nov 2005 18:52:00 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 28 Oct 2005 22:27:44 +0200 | wenzelm | literal facts; | file | diff | annotate |
| Tue, 04 Oct 2005 16:47:40 +0200 | wenzelm | find_theorems: support * wildcard in name: criterion; | file | diff | annotate |
| Fri, 23 Sep 2005 15:32:42 +0200 | wenzelm | method 'rules' renamed to 'iprover', which does *not* retrieve theorems from the Internet; | file | diff | annotate |
| Wed, 14 Sep 2005 23:15:00 +0200 | wenzelm | hide: added option '(open)'; | file | diff | annotate |
| Mon, 05 Sep 2005 17:38:15 +0200 | wenzelm | Markup commands 'chapter' .. 'text' support optional locale specification; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:12 +0200 | wenzelm | improved 'oracle' command; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:18 +0200 | wenzelm | updated theory header syntax; | file | diff | annotate |
| Wed, 25 May 2005 10:43:15 +0200 | kleing | renamed search criterion 'rewrite' to 'simp' | file | diff | annotate |
| Sun, 22 May 2005 16:51:05 +0200 | wenzelm | tuned thms_containing; | file | diff | annotate |
| Wed, 18 May 2005 10:47:25 +0200 | kleing | made para on searching more readable | file | diff | annotate |
| Wed, 18 May 2005 06:29:42 +0200 | kleing | documented new thms_containing ('rewrites' still missing) | file | diff | annotate |
| Sat, 16 Apr 2005 18:55:28 +0200 | wenzelm | Pure: command 'no_syntax' removes grammar declarations; | file | diff | annotate |
| Sat, 09 Apr 2005 15:35:37 +0200 | wenzelm | update syntax of 'where' and 'of'; | file | diff | annotate |
| Wed, 16 Jun 2004 20:37:00 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 13 Jun 2004 15:30:08 +0200 | wenzelm | added display_drafts and print_drafts commands; | file | diff | annotate |
| Sat, 29 May 2004 14:55:56 +0200 | wenzelm | 'classrel': support multiple arguments; | file | diff | annotate |
| Thu, 22 Apr 2004 10:49:30 +0200 | wenzelm | improved constdefs and translation functions; | file | diff | annotate |
| Wed, 10 Dec 2003 14:27:50 +0100 | ballarin | Isar: where attribute supports instantiation of type vars. | file | diff | annotate |
| Tue, 30 Sep 2003 15:09:35 +0200 | ballarin | Improvements wrt rule_tac. | file | diff | annotate |
| Fri, 29 Aug 2003 15:40:11 +0200 | ballarin | Method rule_tac understands Isar contexts: documentation. | file | diff | annotate |
| Tue, 25 Feb 2003 15:27:01 +0100 | berghofe | Documented prf / full_prf commands and antiquotations. | file | diff | annotate |
| Tue, 27 Aug 2002 17:25:44 +0200 | wenzelm | thms_containing: allow "_" in specification; | file | diff | annotate |
| Tue, 02 Jul 2002 17:44:13 +0200 | wenzelm | thms_containing: optional limit argument; | file | diff | annotate |
| Tue, 02 Jul 2002 16:58:57 +0200 | wenzelm | update thms_containing; | file | diff | annotate |
| Fri, 08 Mar 2002 15:53:15 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Mar 2002 23:21:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Mar 2002 19:04:00 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Mar 2002 18:55:46 +0100 | wenzelm | more stuff; | file | diff | annotate |
| Mon, 04 Mar 2002 22:31:21 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Feb 2002 18:09:04 +0100 | wenzelm | contexts, locales, sym(metric); | file | diff | annotate |
| Wed, 27 Feb 2002 19:43:55 +0100 | wenzelm | 'using' command; | file | diff | annotate |
| Tue, 12 Feb 2002 20:33:03 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 03 Jan 2002 17:48:02 +0100 | wenzelm | next round of updates; | file | diff | annotate |
| Wed, 02 Jan 2002 21:53:50 +0100 | wenzelm | first stage of major update; | file | diff | annotate |
| Tue, 04 Sep 2001 21:10:57 +0200 | wenzelm | renamed "antecedent" case to "rule_context"; | file | diff | annotate |
| Mon, 12 Feb 2001 20:44:02 +0100 | wenzelm | \<subseteq> syntax for classes/classrel/axclass/instance; | file | diff | annotate |
| Thu, 01 Feb 2001 20:43:14 +0100 | wenzelm | thms_containing: term args; | file | diff | annotate |
| Tue, 16 Jan 2001 00:22:43 +0100 | wenzelm | more method_setup examples; | file | diff | annotate |
| Wed, 10 Jan 2001 20:18:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 16 Dec 2000 21:41:14 +0100 | wenzelm | 'def': equiv; | file | diff | annotate |
| Mon, 11 Dec 2000 20:09:47 +0100 | wenzelm | alternative syntax for "translations": harpoons; | file | diff | annotate |
| Mon, 04 Dec 2000 23:20:37 +0100 | wenzelm | diagnostic commands: comment; | file | diff | annotate |
| Thu, 30 Nov 2000 20:05:10 +0100 | wenzelm | schematic goals; | file | diff | annotate |
| Sun, 15 Oct 2000 19:51:56 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 14:19:48 +0200 | wenzelm | tuned; | file | diff | annotate |