Fix to shell filter for non-wakeup char instances of PG.

Fix to proof-shell-insert-loopback-cmd for pbp.
Don't call pbp-make-top-span if proof-goal-hyp-fn is unset.
Remove extra newline in goals output.
Removed some dead code.
Made code robust against more settings being unset.
Added menu to goals buffer.
Set key "q" in response and goals buffers to bury-buffer.
Quit timeout variable.

0 files changed, 0 insertions, 0 deletions