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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
