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

updates at fedoraproject.org updates at fedoraproject.org
Tue Sep 3 22:24:06 UTC 2013

Fedora Update Notification
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.

* 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

  [ 1 ] Bug #913972 - emacs-common-proofgeneral: FTBFS in rawhide
  [ 2 ] Bug #972343 - emacs-proofgeneral misses proof-site.elc and lets emacs stop loading

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

More information about the package-announce mailing list