Version updates for isabelle (cask).https://pkgstory.dev/https://pkgstory.dev/homebrew-cask/isabelle/#2025-2/https://pkgstory.dev/homebrew-cask/isabelle/#2025-2/isabelle updated to 2025-2Tue, 20 Jan 2026 01:22:30 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2025-1/https://pkgstory.dev/homebrew-cask/isabelle/#2025-1/isabelle updated to 2025-1Mon, 29 Dec 2025 17:43:11 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2025/https://pkgstory.dev/homebrew-cask/isabelle/#2025/isabelle updated to 2025Fri, 14 Mar 2025 00:54:33 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2024/https://pkgstory.dev/homebrew-cask/isabelle/#2024/isabelle updated to 2024Thu, 23 May 2024 19:59:43 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2023/https://pkgstory.dev/homebrew-cask/isabelle/#2023/isabelle updated to 2023Mon, 11 Sep 2023 22:11:01 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2022/https://pkgstory.dev/homebrew-cask/isabelle/#2022/isabelle updated to 2022Tue, 25 Oct 2022 17:49:08 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2021-1/https://pkgstory.dev/homebrew-cask/isabelle/#2021-1/isabelle updated to 2021-1Tue, 04 Jan 2022 04:42:31 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2021/https://pkgstory.dev/homebrew-cask/isabelle/#2021/isabelle updated to 2021Wed, 14 Apr 2021 06:52:22 GMThttps://pkgstory.dev/homebrew-cask/isabelle/#2020/https://pkgstory.dev/homebrew-cask/isabelle/#2020/isabelle updated to 2020Mon, 27 Jul 2020 09:27:20 GMT