[isabelle-dev] NEWS: Improved completion mechanism

Christian Sternagel c.sternagel at gmail.com
Fri Sep 6 05:51:29 CEST 2013

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.



More information about the isabelle-dev mailing list