[isabelle-dev] NEWS: Improved completion mechanism
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