Changelog for emacs-common-proofgeneral-4.4-2.fc26.noarch.rpm :

* Fri Feb 10 2017 Fedora Release Engineering - 4.4-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Tue Oct 25 2016 Jerry James - 4.4-1- New upstream release- New project URLs- Update the AppData file and validate it on installation- Use the license macro
* Wed Feb 03 2016 Fedora Release Engineering - 4.2-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jun 17 2015 Fedora Release Engineering - 4.2-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 4.2-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Thu Feb 27 2014 Jerry James - 4.2-2- Add AppData file
* Sat Aug 24 2013 Jerry James - 4.2-1- New upstream release (fixes bz 972343)- Fix eps2pdf BR (bz 913972 and 992196)- Add BRs for newer versions of texlive- Drop upstreamed -elisp patch- Add upstream workaround for Emacs 24.3 byte-compilation error
* Sat Aug 03 2013 Fedora Release Engineering - 4.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Wed Feb 13 2013 Fedora Release Engineering - 4.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Tue Jul 24 2012 Jerry James - 4.1-1- New upstream release- Upstream no longer supports XEmacs- Upstream no longer bundles X-Symbol- Remove unnecessary spec file elements (defattr, etc.)- Move desktop files into places where they will be used
* Wed Jul 18 2012 Fedora Release Engineering - 3.7.1-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Fri Jan 13 2012 Fedora Release Engineering - 3.7.1-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
* Tue Feb 08 2011 Fedora Release Engineering - 3.7.1-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Wed Jul 29 2009 Alan Dunn 3.7.1-4- Incorporated comments from Jerry James about applying his patch: patch now applied unconditionally (regardless of Fedora version which was used as a somewhat imperfect way to control XEmacs version).- Patch descriptions moved upward in spec file in accordance with examples in guidelines.
* Thu Jul 09 2009 Alan Dunn 3.7.1-3- Added xemacs patch that fixes compilation problems for X-Symbol code.
* Thu Jul 02 2009 Alan Dunn 3.7.1-2- Excluded bundled X-symbol, mmm-mode.- Changed requires for these bundled packages.
* Tue Apr 07 2009 Alan Dunn 3.7.1-1- Initial Fedora RPM.