| 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 |
| Tue, 12 Sep 2000 17:34:50 +0200 | wenzelm | renamed "delrule" to "rule del"; | file | diff | annotate |
| Tue, 29 Aug 2000 20:12:04 +0200 | wenzelm | 'syntax': improved mode spec; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 14 Aug 2000 18:47:32 +0200 | wenzelm | added 'declare' command; | file | diff | annotate |
| Sun, 30 Jul 2000 13:01:09 +0200 | wenzelm | 'def': no constraint on variable; | file | diff | annotate |
| Thu, 13 Jul 2000 23:08:20 +0200 | wenzelm | defs: (overloaded) option; | file | diff | annotate |
| Thu, 06 Jul 2000 18:11:48 +0200 | wenzelm | allow comment in more commands; | file | diff | annotate |
| Tue, 04 Jul 2000 01:11:42 +0200 | wenzelm | added "nothing" (empty list of theorems); | file | diff | annotate |
| Sat, 01 Jul 2000 19:59:24 +0200 | wenzelm | removed "help"; | file | diff | annotate |
| Thu, 29 Jun 2000 22:36:45 +0200 | wenzelm | facts: support multiple lists of arguments; | file | diff | annotate |
| Sat, 03 Jun 2000 23:57:40 +0200 | wenzelm | 'next', '{', '}': comment; | file | diff | annotate |