proof-general version history (formula)
proof-general
formula 5 versions
since May 2015
~380 days between updates
Track proof-general — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 4.5 | 2022-07-13 | 5a196ccbd |
| 4.4 | 2018-01-10 | f31621977 |
| 4.4 | 2017-04-24 | 4712aa61c |
| 4.4 | 2016-09-18 | 0bcad5dc7 |
| 4.2 | 2015-05-08 | 107797962 |