Version updates for proof-general (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/proof-general/#4.5https://pkgstory.dev/homebrew-formula/proof-general/#4.5proof-general updated to 4.5Wed, 13 Jul 2022 22:37:05 GMThttps://pkgstory.dev/homebrew-formula/proof-general/#4.4_2https://pkgstory.dev/homebrew-formula/proof-general/#4.4_2proof-general updated to 4.4_2Wed, 10 Jan 2018 16:23:04 GMThttps://pkgstory.dev/homebrew-formula/proof-general/#4.4_1https://pkgstory.dev/homebrew-formula/proof-general/#4.4_1proof-general updated to 4.4_1Mon, 24 Apr 2017 21:16:57 GMThttps://pkgstory.dev/homebrew-formula/proof-general/#4.4https://pkgstory.dev/homebrew-formula/proof-general/#4.4proof-general updated to 4.4Sun, 18 Sep 2016 22:01:07 GMThttps://pkgstory.dev/homebrew-formula/proof-general/#4.2https://pkgstory.dev/homebrew-formula/proof-general/#4.2proof-general updated to 4.2Fri, 08 May 2015 18:11:24 GMT