Tue, 14 May 2024 07:35:10 UTC | login

Information for build emacs-common-proofgeneral-4.2-5.fc24

ID2956
Package Nameemacs-common-proofgeneral
Version4.2
Release5.fc24
Epoch
SummaryEmacs mode for standard interaction interface for proof assistants
DescriptionProof General is a generic front-end for proof assistants (also known as interactive theorem provers) based on Emacs. Proof General allows one to edit and submit a proof script to a proof assistant in an interactive manner: - It tracks the goal state, and the script as it is submitted, and allows for easy backtracking and block execution. - It adds toolbars and menus to Emacs for easy access to proof assistant features. - It integrates with Emacs Unicode support for some provers to provide output using proper mathematical symbols. - It includes utilities for generating Emacs tags for proof scripts, allowing for easy navigation. Proof General supports a number of different proof assistants (Isabelle, Coq, PhoX, and LEGO to name a few) and is designed to be easily extendable to work with others.
Built bykojiadmin
State complete
Volume DEFAULT
StartedSat, 14 Apr 2018 19:53:17 UTC
CompletedSat, 14 Apr 2018 19:53:17 UTC
Tags
f28
f29
RPMs
src
emacs-common-proofgeneral-4.2-5.fc24.src.rpm (info) (download)
noarch
emacs-common-proofgeneral-4.2-5.fc24.noarch.rpm (info) (download)
emacs-proofgeneral-4.2-5.fc24.noarch.rpm (info) (download)
emacs-proofgeneral-el-4.2-5.fc24.noarch.rpm (info) (download)
Changelog * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 4.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Thu Feb 27 2014 Jerry James <loganjerry@gmail.com> - 4.2-2 - Add AppData file * Sat Aug 24 2013 Jerry James <loganjerry@gmail.com> - 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 <rel-eng@lists.fedoraproject.org> - 4.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Tue Jul 24 2012 Jerry James <loganjerry@gmail.com> - 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 <rel-eng@lists.fedoraproject.org> - 3.7.1-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Fri Jan 13 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 3.7.1-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild * Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 3.7.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Wed Jul 29 2009 Alan Dunn <amdunn@gmail.com> 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 <amdunn@gmail.com> 3.7.1-3 - Added xemacs patch that fixes compilation problems for X-Symbol code. * Thu Jul 02 2009 Alan Dunn <amdunn@gmail.com> 3.7.1-2 - Excluded bundled X-symbol, mmm-mode. - Changed requires for these bundled packages. * Tue Apr 07 2009 Alan Dunn <amdunn@gmail.com> 3.7.1-1 - Initial Fedora RPM.