-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2010-0412 2010-01-12 20:06:15 --------------------------------------------------------------------------------
Name : emacs-common-proofgeneral Product : Fedora 11 Version : 3.7.1 Release : 4.fc11.1 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 X-Symbol 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: Rebuild of compiled Emacs bytecode files needed for Emacs 23. -------------------------------------------------------------------------------- ChangeLog: * Fri Jan 8 2010 Alan Dunn <[email protected]> 3.7.1-4.fc11.1 - Rebuild F11 version for Emacs 23 -------------------------------------------------------------------------------- References: [ 1 ] Bug #551623 - Needs to be built against current version of emacs https://bugzilla.redhat.com/show_bug.cgi?id=551623 -------------------------------------------------------------------------------- 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 http://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
