Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2025-2 Download Link Broken

Email Gateway (Jul 07 2026 at 18:19):

From: Zili Wang <ziliwang271@gmail.com>

Hi everyone,

I am attempting to upgrade my Isabelle version to 2025-2 using the download
link at https://isabelle.in.tum.de/. However, the Linux download link
appears to be broken, and I am receiving a message stating that the site
cannot be reached.

Has anyone else experienced this issue?

Thank you,
Zili Wang

Email Gateway (Jul 07 2026 at 18:49):

From: Manuel Eberl <manuel@pruvisto.org>

All four versions download fine for me. Are you sure the problem is not
a network issue on your end?

Manuel

On 7/7/26 20:18, Zili Wang wrote:

Hi everyone,

I am attempting to upgrade my Isabelle version to 2025-2 using the
download link at https://isabelle.in.tum.de/. However, the Linux
download link appears to be broken, and I am receiving a message
stating that the site cannot be reached.

Has anyone else experienced this issue?

Thank you,
Zili Wang

Email Gateway (Jul 07 2026 at 19:10):

From: Zili Wang <ziliwang271@gmail.com>

I first experienced this with airport wifi (in Dallas, Texas) yesterday
(with and without a VPN), and encountered the same issue this morning
trying with cellular hotspot and home wifi (again trying with and without a
VPN). Everything else seems fine with my internet connection.

For context, I am located in the US.

On Tue, Jul 7, 2026 at 1:49 PM Manuel Eberl <manuel@pruvisto.org> wrote:

All four versions download fine for me. Are you sure the problem is not
a network issue on your end?

Manuel

On 7/7/26 20:18, Zili Wang wrote:

Hi everyone,

I am attempting to upgrade my Isabelle version to 2025-2 using the
download link at https://isabelle.in.tum.de/. However, the Linux
download link appears to be broken, and I am receiving a message
stating that the site cannot be reached.

Has anyone else experienced this issue?

Thank you,
Zili Wang

Email Gateway (Jul 07 2026 at 19:29):

From: Tobias Nipkow <nipkow@in.tum.de>

I downloaded the Linux version just now without problems.

Tobias

On 07/07/2026 20:49, Manuel Eberl wrote:

All four versions download fine for me. Are you sure the problem is not a
network issue on your end?

Manuel

On 7/7/26 20:18, Zili Wang wrote:

Hi everyone,

I am attempting to upgrade my Isabelle version to 2025-2 using the download
link at https://isabelle.in.tum.de/. However, the Linux download link appears
to be broken, and I am receiving a message stating that the site cannot be
reached.

Has anyone else experienced this issue?

Thank you,
Zili Wang

smime.p7s

Email Gateway (Jul 07 2026 at 19:42):

From: Zili Wang <ziliwang271@gmail.com>

Seems it was a google chrome issue, I resolved it by switching to
firefox... Thanks everyone.

On Tue, Jul 7, 2026 at 2:29 PM Tobias Nipkow <nipkow@in.tum.de> wrote:

I downloaded the Linux version just now without problems.

Tobias

On 07/07/2026 20:49, Manuel Eberl wrote:

All four versions download fine for me. Are you sure the problem is not
a
network issue on your end?

Manuel

On 7/7/26 20:18, Zili Wang wrote:

Hi everyone,

I am attempting to upgrade my Isabelle version to 2025-2 using the
download
link at https://isabelle.in.tum.de/. However, the Linux download link
appears
to be broken, and I am receiving a message stating that the site cannot
be
reached.

Has anyone else experienced this issue?

Thank you,
Zili Wang

Last updated: Jul 22 2026 at 14:00 UTC