[isabelle-dev] NEWS: Improved completion mechanism

[Christian Sternagel]

On 09/04/2013 12:16 AM, Makarius wrote:
> In parallel to that, you can try a different Linux on your hardware,
> either just a virtual one, or one that is booted from a USB stick
> (Ubuntu supports that nicely).

I did so with an 'Ubuntu 13.04 "Raring Ringtail" - Release amd64' live 
USB stick and was not able to reproduce the phenomenon, i.e., no hangs 
of the keyboard input.

cheers

chris