Miccal Matthews
3 commits · 2 version changes
2020-11-26 – 2022-01-04isabelle version history (cask)
All packages / cask
- Current
- 2025-2
- Versions
- 9
- Since
- Jul 2020
- Cadence
- 278d
Update cadence
Jul 2020 to Jan 2026
Contributors
27 people · 1 automated
Authors and co-authors of cask file changes in Homebrew history, not the upstream project.
Roland Walker
3 commits · 0 version changes
2014-09-15 – 2014-11-13Sam Ford
2 commits · 0 version changes
2022-04-04 – 2026-04-24Klaus Hipp
2 commits · 1 version change
2025-03-02 – 2025-12-29Patrick Linnane
2 commits · 1 version change
2022-10-25 – 2025-08-05Rui Chen
2 commits · 1 version change
2023-09-11 – 2023-09-13Mike McQuaid
2 commits · 1 version change
2020-07-27 – 2023-08-09Colin Dunn
2 commits · 0 version changes
2017-04-23 – 2017-11-14Vítor Galvão
2 commits · 0 version changes
2015-01-23 – 2016-10-10ndr
2 commits · 0 version changes
2014-09-08 – 2014-10-11Bevan Kay
1 commit · 0 version changes
2026-10-12 – 2026-10-12botantony
1 commit · 0 version changes
2025-06-14 – 2025-06-14Show 15 more
zyoshoka
1 commit · 1 version change
2025-03-14 – 2025-03-14adithyasunil26
1 commit · 1 version change
2024-05-23 – 2024-05-23Hodaka Suzuki
1 commit · 1 version change
2022-01-04 – 2022-01-04Markus Reiter
1 commit · 1 version change
2021-04-14 – 2021-04-14Luca Chen
1 commit · 0 version changes
2020-11-26 – 2020-11-26suschizu
1 commit · 0 version changes
2020-04-16 – 2020-04-16CoreCode
1 commit · 0 version changes
2019-06-26 – 2019-06-26Viktor Szakats
1 commit · 0 version changes
2018-10-07 – 2018-10-07Brian Morton
1 commit · 0 version changes
2018-08-15 – 2018-08-15commitay
1 commit · 0 version changes
2018-06-12 – 2018-06-12Sandy Vanderbleek
1 commit · 0 version changes
2017-01-03 – 2017-01-03Josh Tilles
1 commit · 0 version changes
2016-02-18 – 2016-02-18Josh Hagins
1 commit · 0 version changes
2015-12-18 – 2015-12-18scribblemaniac
1 commit · 0 version changes
2015-06-29 – 2015-06-29Franklin Chen
1 commit · 0 version changes
2015-06-13 – 2015-06-13Automation
BrewTestBot
1 commit · 1 version change
2026-01-20 – 2026-01-20Version timeline
9 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 2025-2 | 2026-01-20 | 41a97e03c | isabelle 2025-2 |
| 2025-1 | 2025-12-29 | 539f1686a | isabelle 2025-1 |
| 2025 | 2025-03-14 | f01da329c | isabelle 2025 |
| 2024 | 2024-05-23 | e396ded57 | isabelle 2024 |
| 2023 | 2023-09-11 | cfba63861 | isabelle 2023 |
| 2022 | 2022-10-25 | 8ec2964d2 | isabelle 2022 |
| 2021-1 | 2022-01-04 | 8dcec9c12 | Update isabelle from 2021 to 2021-1 (#116906) |
| 2021 | 2021-04-14 | bd4b7f343 | isabelle: add livecheck (#103888) |
| 2020 | 2020-07-27 | a3e6f3673 | isabelle: fix RuboCop style. |