| 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 |
| Sun, 29 Nov 1998 13:14:45 +0100 | wenzelm | added oct_char; | changeset | files |