Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: emacs-common-proofgeneral | Distribution: Fedora Project |
Version: 4.5 | Vendor: Fedora Project |
Release: 7.fc40 | Build date: Wed Jan 24 11:23:17 2024 |
Group: Unspecified | Build host: buildvm-a64-04.iad2.fedoraproject.org |
Size: 1212358 | Source RPM: emacs-common-proofgeneral-4.5-7.fc40.src.rpm |
Packager: Fedora Project | |
Url: https://proofgeneral.github.io/ | |
Summary: Emacs mode for standard interaction interface for proof assistants |
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.
GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 4.5-5 - Stop building for 32-bit x86 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 4.5-4 - Validate appdata with appstream-util * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Sat Nov 19 2022 Jerry James <loganjerry@gmail.com> - 4.5-3 - Add patch to silence warnings about an overly long docstring - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 4.5-1 - Version 4.5 - License change from GPLv2 to GPLv3+
/usr/bin/coqtags /usr/bin/proofgeneral /usr/share/application-registry/proofgeneral.applications /usr/share/applications/proofgeneral.desktop /usr/share/doc/proofgeneral /usr/share/doc/proofgeneral/AUTHORS /usr/share/doc/proofgeneral/BUGS /usr/share/doc/proofgeneral/CHANGES /usr/share/doc/proofgeneral/COMPATIBILITY /usr/share/doc/proofgeneral/PG-adapting.pdf /usr/share/doc/proofgeneral/ProofGeneral.pdf /usr/share/doc/proofgeneral/pgshell /usr/share/doc/proofgeneral/pgshell/example.pgsh /usr/share/doc/proofgeneral/phox /usr/share/doc/proofgeneral/phox/sqrt2.phx /usr/share/icons/hicolor/128x128/apps/proofgeneral.png /usr/share/icons/hicolor/16x16/apps/proofgeneral.png /usr/share/icons/hicolor/256x256/apps/proofgeneral.png /usr/share/icons/hicolor/32x32/apps/proofgeneral.png /usr/share/icons/hicolor/48x48/apps/proofgeneral.png /usr/share/icons/hicolor/64x64/apps/proofgeneral.png /usr/share/icons/hicolor/96x96/apps/proofgeneral.png /usr/share/info/PG-adapting.info.gz /usr/share/info/ProofGeneral.info.gz /usr/share/licenses/emacs-common-proofgeneral /usr/share/licenses/emacs-common-proofgeneral/COPYING /usr/share/man/man1/proofgeneral.1.gz /usr/share/metainfo/io.github.proofgeneral.metainfo.xml /usr/share/mime-info/proofgeneral.keys /usr/share/mime-info/proofgeneral.mime
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 23:23:40 2024