| Wed, 07 Jun 2006 02:01:32 +0200 | wenzelm | added 'if' and 'for' keywords; | file | diff | annotate |
| Tue, 16 May 2006 21:33:09 +0200 | wenzelm | added 'const_syntax'; | file | diff | annotate |
| Sat, 13 May 2006 02:51:43 +0200 | wenzelm | 'defs': unchecked flag; | file | diff | annotate |
| Sun, 30 Apr 2006 22:50:10 +0200 | wenzelm | AxClass.define_class; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Thu, 13 Apr 2006 12:01:09 +0200 | wenzelm | axclass: old-style concrete syntax for canonical specification format; | file | diff | annotate |
| Tue, 11 Apr 2006 16:00:07 +0200 | wenzelm | 'axclass': no parameters; | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:23 +0200 | wenzelm | 'abbreviation': optional print mode; | file | diff | annotate |
| Mon, 20 Mar 2006 17:15:35 +0100 | ballarin | Tuned signature of Locale.add_locale(_i). | file | diff | annotate |
| Fri, 17 Mar 2006 15:22:40 +0100 | ballarin | add_locale(_i) returns internal locale name. | file | diff | annotate |
| Tue, 14 Mar 2006 22:06:39 +0100 | wenzelm | added 'print_statement' command; | file | diff | annotate |
| Tue, 14 Mar 2006 16:29:37 +0100 | wenzelm | added 'no_translations'; | file | diff | annotate |
| Sat, 11 Mar 2006 16:53:27 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Wed, 08 Mar 2006 18:37:24 +0100 | wenzelm | constdecl: always allow 'where'; | file | diff | annotate |
| Thu, 16 Feb 2006 18:26:00 +0100 | wenzelm | added 'abbreviation'; | file | diff | annotate |
| Mon, 06 Feb 2006 20:59:49 +0100 | wenzelm | Toplevel.local_theory; | file | diff | annotate |
| Fri, 03 Feb 2006 11:47:57 +0100 | haftmann | refined signature of locale module | file | diff | annotate |
| Thu, 02 Feb 2006 12:52:20 +0100 | wenzelm | moved (general_)statement to outer_parse.ML; | file | diff | annotate |
| Sat, 28 Jan 2006 17:28:56 +0100 | wenzelm | removed obsolete keyword 'files'; | file | diff | annotate |
| Fri, 27 Jan 2006 19:03:02 +0100 | wenzelm | moved theorem tags from Drule to PureThy; | file | diff | annotate |
| Wed, 25 Jan 2006 00:21:38 +0100 | wenzelm | added 'definition'; | file | diff | annotate |
| Tue, 24 Jan 2006 00:43:28 +0100 | wenzelm | axiomatization: optional vars; | file | diff | annotate |
| Fri, 13 Jan 2006 01:13:11 +0100 | wenzelm | uniform handling of fixes; | file | diff | annotate |
| Sat, 07 Jan 2006 23:27:56 +0100 | wenzelm | added 'axiomatization'; | file | diff | annotate |
| Wed, 04 Jan 2006 00:52:43 +0100 | wenzelm | Toplevel.forget_proof; | 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 |
| Thu, 10 Nov 2005 20:57:20 +0100 | wenzelm | guess: Toplevel.proof; | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:51 +0100 | wenzelm | P.context_element, P.locale_element; | file | diff | annotate |
| Tue, 18 Oct 2005 17:59:33 +0200 | wenzelm | use simplified Toplevel.proof etc.; | file | diff | annotate |