-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2009-8265 2009-08-04 23:59:52 --------------------------------------------------------------------------------
Name : emacs-common-proofgeneral Product : Fedora 10 Version : 3.7.1 Release : 4.fc10 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: 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 (though this capability is currently broken in the package - will be fixed in a future update). - It includes utilities for generating Emacs tags for proof scripts, allowing for easy navigation. -------------------------------------------------------------------------------- References: [ 1 ] Bug #484049 - Review Request: emacs-common-proofgeneral - Emacs mode for standard interaction interface for proof assistants https://bugzilla.redhat.com/show_bug.cgi?id=484049 -------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------- _______________________________________________ Fedora-package-announce mailing list [email protected] http://www.redhat.com/mailman/listinfo/fedora-package-announce
