Stream: General

Topic: Isabelle development version

Gergely Buday (Feb 09 2024 at 13:14):

Is this the page for Isabelle development version?

https://isatest.sketis.net/devel/release_snapshot/

Mathias Fleury (Feb 09 2024 at 13:25):

https://isabelle.in.tum.de/repos/isabelle/

Mathias Fleury (Feb 09 2024 at 13:25):

the other is a mirror of the TUM repo, so they should be identical however

Last updated: Dec 21 2024 at 16:20 UTC