-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-15275 2013-08-25 21:49:46 --------------------------------------------------------------------------------
Name : emacs-common-proofgeneral Product : Fedora 19 Version : 4.2 Release : 1.fc19 URL : http://proofgeneral.inf.ed.ac.uk/ Summary : Emacs mode for standard interaction interface for proof assistants Description : Proof 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. -------------------------------------------------------------------------------- Update Information: See http://proofgeneral.inf.ed.ac.uk/fileshow.php?file=releases%2FProofGeneral-4.2%2FCHANGES for a list of bug fixes and enhancements in this release. -------------------------------------------------------------------------------- ChangeLog: * Sat Aug 24 2013 Jerry James <[email protected]> - 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 3 2013 Fedora Release Engineering <[email protected]> - 4.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Wed Feb 13 2013 Fedora Release Engineering <[email protected]> - 4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild -------------------------------------------------------------------------------- References: [ 1 ] Bug #913972 - emacs-common-proofgeneral: FTBFS in rawhide https://bugzilla.redhat.com/show_bug.cgi?id=913972 [ 2 ] Bug #972343 - emacs-proofgeneral misses proof-site.elc and lets emacs stop loading https://bugzilla.redhat.com/show_bug.cgi?id=972343 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update emacs-common-proofgeneral' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
