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