| Mon, 08 Feb 1999 17:33:03 +0100 | wenzelm | use: provide context; | file | diff | annotate |
| Fri, 05 Feb 1999 21:03:06 +0100 | wenzelm | use_thy, update_thy: Context.save; | file | diff | annotate |
| Thu, 04 Feb 1999 18:15:53 +0100 | wenzelm | File.pwd, File.cd; | file | diff | annotate |
| Wed, 03 Feb 1999 16:49:04 +0100 | wenzelm | removed load; | file | diff | annotate |
| Tue, 12 Jan 1999 13:40:08 +0100 | wenzelm | eliminated tthm type and Attribute structure; | file | diff | annotate |
| Sun, 29 Nov 1998 13:17:42 +0100 | wenzelm | added restart; | file | diff | annotate |
| Tue, 17 Nov 1998 14:12:13 +0100 | wenzelm | break: exhibit state; | file | diff | annotate |
| Mon, 16 Nov 1998 11:33:14 +0100 | wenzelm | added print_thm; | file | diff | annotate |
| Mon, 16 Nov 1998 11:04:35 +0100 | wenzelm | add print_theorems; | file | diff | annotate |
| Mon, 09 Nov 1998 15:34:41 +0100 | wenzelm | Non-logical toplevel commands. | file | diff | annotate |