Sun, 29 Nov 1998 13:20:49 +0100 | wenzelm | tuned print_state; | changeset | files |
Sun, 29 Nov 1998 13:19:48 +0100 | wenzelm | tuned welcome msg; | changeset | files |
Sun, 29 Nov 1998 13:17:42 +0100 | wenzelm | added restart; | changeset | files |
Sun, 29 Nov 1998 13:17:21 +0100 | wenzelm | added exception RESTART; | changeset | files |
Sun, 29 Nov 1998 13:16:47 +0100 | wenzelm | proof_general_trans (experimental); | changeset | files |
Sun, 29 Nov 1998 13:15:50 +0100 | wenzelm | replaced wakeup by decorate_prompt_fn; | changeset | files |
Sun, 29 Nov 1998 13:15:17 +0100 | wenzelm | eliminated "Trying to recover ..." msg; | changeset | files |