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