Richard M. Heiberger wrote: > I also think it is a bug. I tried the example. Ctrl-G breaks > the frozenness, but still leaves me in an a loop of continuation > prompts. I eventually got out of the loop by typing ")" and forcing > a syntax error. C-g C-c C-c works for me. -- Michael Hoffman