Fedora 19 Update: emacs-common-proofgeneral-4.2-1.fc19

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
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 <loganjerry at 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  3 2013 Fedora Release Engineering <rel-eng at 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 at lists.fedoraproject.org> - 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
--------------------------------------------------------------------------------