[isabelle] Workaround for Isabelle2018 under Ubuntu 18.04 still needed?
The Isabelle website says:
> The kernel update `linux-image-4.15.0-36-generic` (Oct-2018)
> introduces a timing problem with socket communication in the
> Isabelle Prover IDE, notably Isabelle/jEdit. Thus loading big
> sessions becomes very slow (e.g. theory `HOL-Library.Library`
> or `HOL-Analysis.Analysis`). This can be avoided by downgrading
> to `linux-image-4.15.0-34-generic` or by using the following
> temporary workaround for Isabelle2018.
Now Ubuntu 18.04 comes with `linux-image-4.18.0-18-generic` these
days. Does the above-described problem still exist with this
All the best,
This archive was generated by a fusion of
Pipermail (Mailman edition) and