Mike McQuaid
6 commits · 0 version changes
2014-03-06 – 2023-08-15proof-general version history (formula)
All packages / formula
proof-general
formulaformula timeline from Homebrew git history.
Track proof-general with the RSS feed.
- Current
- 4.5
- Versions
- 6
- Since
- Sep 2012
- Cadence
- 261d
Update cadence
Sep 2012 to Jul 2022
Contributors
26 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Rui Chen
4 commits · 1 version change
2021-08-25 – 2025-03-22Francois-Xavier Coudert
4 commits · 0 version changes
2020-11-20 – 2023-09-28Alex Dunn
3 commits · 0 version changes
2015-05-08 – 2015-08-10Adam Vandenberg
3 commits · 0 version changes
2013-07-08 – 2013-07-08botantony
2 commits · 0 version changes
2025-05-27 – 2026-02-14Carlo Cabrera
2 commits · 0 version changes
2021-10-31 – 2024-09-11ilovezfs
2 commits · 1 version change
2017-10-18 – 2018-01-10Štefan Baebler
1 commit · 0 version changes
2025-09-15 – 2025-09-15Patrick Linnane
1 commit · 0 version changes
2022-12-05 – 2022-12-05Thierry Moisan
1 commit · 0 version changes
2022-12-04 – 2022-12-04Porkepix
1 commit · 1 version change
2022-07-13 – 2022-07-13Show 14 more
Michael Cho
1 commit · 0 version changes
2021-07-17 – 2021-07-17Rylan Polster
1 commit · 0 version changes
2021-02-03 – 2021-02-03William Ma
1 commit · 0 version changes
2020-07-02 – 2020-07-02Yishuai Li
1 commit · 0 version changes
2018-03-07 – 2018-03-07Eric Mertens
1 commit · 1 version change
2017-04-24 – 2017-04-24Zhiming Wang
1 commit · 1 version change
2016-09-18 – 2016-09-18Tej Chajed
1 commit · 0 version changes
2016-09-16 – 2016-09-16Dominyk Tiller
1 commit · 0 version changes
2016-07-22 – 2016-07-22Tej Chajed
1 commit · 0 version changes
2016-02-10 – 2016-02-10Kabelo Moiloa
1 commit · 0 version changes
2015-10-21 – 2015-10-21Nikolaus Wittenstein
1 commit · 0 version changes
2015-05-19 – 2015-05-19Jack Nagel
1 commit · 0 version changes
2013-12-09 – 2013-12-09Richard Osborn
1 commit · 1 version change
2012-12-17 – 2012-12-17Ming-Hsien Tsai
1 commit · 1 version change
2012-09-10 – 2012-09-10Automation
BrewTestBot
9 commits · 0 version changes
2015-10-21 – 2022-07-14Version timeline
6 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 4.5 | 2022-07-13 | 5a196ccbd | proof-general 4.5 |
| 4.4 | 2018-01-10 | f31621977 | proof-general: depend on emacs instead of :emacs |
| 4.4 | 2017-04-24 | 4712aa61c | proof-general: revision for emacs |
| 4.4 | 2016-09-18 | 0bcad5dc7 | proof-general 4.4 |
| 4.2 | 2012-12-17 | f1b4feb9d | Proof General 4.2 |
| 4.1 | 2012-09-10 | 7d3e8677f | Proof General 4.1 |