[isabelle-dev] NEWS: Improved completion mechanism

Makarius makarius at sketis.net
Tue Sep 3 17:16:00 CEST 2013

On Tue, 3 Sep 2013, Christian Sternagel wrote:

>> It looks like we need to make another round in the game of guessing at
>> oddities that Fedora Linux might have installed.

> Yes please. How can I be of assistance (as apparently the only person 
> having this kind of issue ;)

There were some others with similar "hangs", but they never followed the 
trace systematically.  Most people these days accept the growing decay of 
software systems, but I am still trying hard to work against the great 
entropy. (Recently I was curious to see how TeXmacs works these days, and 
was shocked how quickly its standard Debian package on Ubuntu breaks down. 
Poor Joris.)

> ... maybe I should just buy a new computer, however, Fedora Linux is my 
> preferred Platform

Can you send me you exact hardware specification privately?  Moreover the 
exact version of Fedora, so that I can try to imitate your configuration.

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).


More information about the isabelle-dev mailing list