Sun, 16 Feb 2025 21:34:43 UTC | login

Information for build emacs-common-proofgeneral-4.4-9.fc31

ID126760
Package Nameemacs-common-proofgeneral
Version4.4
Release9.fc31
Epoch
SummaryEmacs mode for standard interaction interface for proof assistants
DescriptionProof 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.
Built bydavidlt
State complete
Volume DEFAULT
StartedSat, 31 Aug 2019 16:56:57 UTC
CompletedSat, 31 Aug 2019 16:56:57 UTC
Tags
f31
f32
f33
RPMs
src
emacs-common-proofgeneral-4.4-9.fc31.src.rpm (info) (download)
noarch
emacs-common-proofgeneral-4.4-9.fc31.noarch.rpm (info) (download)
emacs-proofgeneral-4.4-9.fc31.noarch.rpm (info) (download)
emacs-proofgeneral-el-4.4-9.fc31.noarch.rpm (info) (download)
Changelog * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Sat Mar 03 2018 Jerry James <loganjerry@gmail.com> - 4.4-6 - Install additional icon sizes * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Jan 11 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 4.4-4 - Remove obsolete scriptlets * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild