| 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: 3.fc37 | Build date: Sat Nov 19 23:08:15 2022 |
| Group: Unspecified | Build host: buildvm-s390x-19.s390.fedoraproject.org |
| Size: 1223620 | Source RPM: emacs-common-proofgeneral-4.5-3.fc37.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
* 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+ * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Oct 19 2021 Jerry James <loganjerry@gmail.com> - 4.4-15.20211013gitfd04605 - 13 Oct 2021 git snapshot for numerous updates and bug fixes - Install metainfo instead of appdata and reenable validation * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
/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 Apr 9 19:05:07 2024