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 |