| Thu, 11 Mar 1999 21:53:36 +0100 | wenzelm | added 'title'; | file | diff | annotate |
| Mon, 08 Feb 1999 17:33:24 +0100 | wenzelm | "files" keyword! | file | diff | annotate |
| Fri, 05 Feb 1999 21:04:31 +0100 | wenzelm | improved 'theory'; | file | diff | annotate |
| Wed, 03 Feb 1999 16:50:06 +0100 | wenzelm | oops, update_thy; | file | diff | annotate |
| Wed, 03 Feb 1999 16:49:36 +0100 | wenzelm | removed load; | file | diff | annotate |
| Tue, 12 Jan 1999 17:19:53 +0100 | wenzelm | 'same' method, 'immediate' proof; | file | diff | annotate |
| Thu, 03 Dec 1998 14:10:04 +0100 | wenzelm | and_list; | file | diff | annotate |
| Sun, 29 Nov 1998 13:17:42 +0100 | wenzelm | added restart; | file | diff | annotate |
| Wed, 25 Nov 1998 14:00:12 +0100 | wenzelm | chapter etc. headings; | file | diff | annotate |
| Sat, 21 Nov 1998 12:17:18 +0100 | wenzelm | added undos, redos; | file | diff | annotate |
| Thu, 19 Nov 1998 11:47:56 +0100 | wenzelm | let: 'as' patterns; | file | diff | annotate |
| Wed, 18 Nov 1998 10:59:44 +0100 | wenzelm | 'prop', 'term', 'typ'; | file | diff | annotate |
| Tue, 17 Nov 1998 14:13:32 +0100 | wenzelm | added 'theorems', 'lemmas', 'note'; | file | diff | annotate |
| Mon, 16 Nov 1998 11:33:42 +0100 | wenzelm | thm, thms; | file | diff | annotate |
| Mon, 16 Nov 1998 11:05:55 +0100 | wenzelm | add print_theorems; | file | diff | annotate |
| Mon, 09 Nov 1998 15:35:00 +0100 | wenzelm | Pure outer syntax. | file | diff | annotate |