Email Gateway (Aug 22 2022 at 21:12): Email Gateway (Aug 22 2022 at 21:12):From: Walther Neuper <walther.neuper@jku.at>
We review old design decisions and for that purpose want to re-install
Isabelle2013-2. We downloaded from
https://isabelle.in.tum.de/website-Isabelle2013-2/
but running leads to an error
wneuper@wneuper-w541:/usr/local/Isabelle2013-2$ ./bin/isabelle jedit &
[1] 17271
wneuper@wneuper-w541:/usr/local/Isabelle2013-2$ Bad component catalog file: "/usr/local/Isabelle2013-2/Admin/components/main"
[1]+ Exit 2 ./bin/isabelle jedit
Is there a simple way to run Isabelle2013-2 again?
Thanks in advance,
Walther
Email Gateway (Aug 22 2022 at 21:12):From: Makarius <makarius@sketis.net>
You should try that with an old version of Ubuntu from that time, or even
Windows 7.
Makarius
Email Gateway (Aug 22 2022 at 21:12):From: Walther Neuper <walther.neuper@jku.at>
Thank you for quick reply!
Walther
PS: Since we cannot afford a zoo of Ubuntu installations, we decided to
update to Isabelle2015, which works out of the box (still, after 5 years!).
Email Gateway (Aug 22 2022 at 21:12):From: Makarius <makarius@sketis.net>
I usually do this with Virtualbox. It is so easy and seamless that I did not
even mention it here, implicitly assuming that you are using it routinely.
Makarius
Email Gateway (Aug 22 2022 at 21:13):From: Walther Neuper <walther.neuper@jku.at>
On 08.01.20 19:14, Makarius wrote:
On 08/01/2020 16:14, Walther Neuper wrote:
PS: Since we cannot afford a zoo of Ubuntu installations, we decided to
update to Isabelle2015, which works out of the box (still, after 5 years!).
I usually do this with Virtualbox. It is so easy and seamless that I did not
even mention it here, implicitly assuming that you are using it routinely.
I don't, rather I rely on the perfect packaging of the official Isabelle
releases and save lots of time for USING Isabelle ;-)) Thanks to you for
spending this time to make Isabelle usable out of the box!
Makarius
Walther
Last updated: Nov 21 2024 at 12:39 UTC