| Tue, 31 Jul 2007 13:30:27 +0200 | wenzelm | removed use/update_thy_only; | file | diff | annotate |
| Sat, 28 Jul 2007 21:09:14 +0200 | wenzelm | commands 'declare', 'declaration'; | file | diff | annotate |
| Tue, 06 Mar 2007 05:32:14 +0100 | kleing | document find_theorems syntax change | file | diff | annotate |
| Tue, 20 Feb 2007 00:53:18 +0100 | kleing | added missing \ | file | diff | annotate |
| Tue, 20 Feb 2007 00:23:58 +0100 | kleing | updated docs with new with_dups syntax for find_theorems | file | diff | annotate |
| Tue, 21 Nov 2006 20:47:58 +0100 | wenzelm | * Isar: the assumptions of a long theorem statement are available as assms; | file | diff | annotate |
| Sat, 11 Nov 2006 16:11:41 +0100 | wenzelm | updated local theory targets; | file | diff | annotate |
| Tue, 19 Sep 2006 23:15:26 +0200 | wenzelm | 'print_theory': bang option for full verbosity; | file | diff | annotate |
| Mon, 18 Sep 2006 19:39:14 +0200 | wenzelm | added class_deps; | file | diff | annotate |
| Tue, 04 Jul 2006 21:22:50 +0200 | wenzelm | print_facts: all facts; | file | diff | annotate |
| 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 |