Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Workaround for Isabelle2018 under Ubuntu 18.04...

view this post on Zulip Email Gateway (Aug 22 2022 at 19:41):

From: Wolfgang Jeltsch <wolfgang-it@jeltsch.info>
Hi!

The Isabelle website says:

Now Ubuntu 18.04 comes with linux-image-4.18.0-18-generic these
days. Does the above-described problem still exist with this
version?

All the best,
Wolfgang

view this post on Zulip Email Gateway (Aug 22 2022 at 19:42):

From: Makarius <makarius@sketis.net>
This is no longer relevant. Canonical regretted that change a few weeks
later, and it should work without doing anything special.

This old text will disappear with the update to the website to Isabelle2019.

In retrospect, it is interesting to see how often updates in
Debian/Ubuntu have disrupted our fine application software distribution:
approx. once every 2 years.

Makarius

Last updated: Nov 21 2024 at 12:39 UTC