| Fri, 16 Jul 1999 22:23:26 +0200 | wenzelm | removed break; | file | diff | annotate |
| Thu, 15 Jul 1999 17:54:58 +0200 | wenzelm | improved print_thms; | file | diff | annotate |
| Thu, 27 May 1999 20:45:20 +0200 | wenzelm | improved undo / kill operations; | file | diff | annotate |
| Wed, 26 May 1999 22:43:50 +0200 | wenzelm | cannot_undo; | file | diff | annotate |
| Fri, 21 May 1999 16:23:48 +0200 | wenzelm | added use_thy_only; | file | diff | annotate |
| Fri, 21 May 1999 11:40:34 +0200 | wenzelm | history commands; | file | diff | annotate |
| Mon, 17 May 1999 21:32:51 +0200 | wenzelm | node_cases renamed to node_case; | file | diff | annotate |
| Tue, 11 May 1999 18:18:37 +0200 | wenzelm | fixed msg; | file | diff | annotate |
| 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 |