| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-09-26 | fixed install method | gilcu3 | |
| 2022-09-26 | updated | gilcu3 | |
| 2020-01-01 | Disowned | William J. Bowman | |
| 2017-02-14 | Updated to 4.4-3 | William J. Bowman | |
| Fixed compatibility with emacs-nox, replaced proofgeneral-nox | |||
| 2017-02-14 | Updated to 4.4-2 | William J. Bowman | |
| Made package architecture independent. | |||
| 2016-10-14 | Updated to 4.4-1 | William J. Bowman | |
| * Updated upsteam URL * Updated release URL * Updated install/build paths * Removed obsolete Makefile patch. * Updated sums | |||
| 2015-07-07 | Updated to 4.2-2 | William J. Bowman | |
| * Updated contact info * Added sha256sums * Added sha512sums | |||
| 2015-07-07 | Initial import | William J. Bowman | |