isabelle version history (cask)
isabelle
cask 9 versions
since Jul 2020
~278 days between updates
Track isabelle — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 2025-2 | 2026-01-20 | 6cb25c030 |
| 2025-1 | 2025-12-29 | d590fdec4 |
| 2025 | 2025-03-14 | ff77a910d |
| 2024 | 2024-05-23 | 58ba201f2 |
| 2023 | 2023-09-11 | f1accc3db |
| 2022 | 2022-10-25 | 8ec2964d2 |
| 2021-1 | 2022-01-04 | 8dcec9c12 |
| 2021 | 2021-04-14 | bd4b7f343 |
| 2020 | 2020-07-27 | a3e6f3673 |