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