| 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: 9.20240912git1ffca70.fc41 | Build date: Sun Sep 29 17:38:43 2024 |
| Group: Unspecified | Build host: buildhw-x86-10.iad2.fedoraproject.org |
| Size: 1242638 | Source RPM: emacs-common-proofgeneral-4.5-9.20240912git1ffca70.fc41.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 Sep 28 2024 Jerry James <loganjerry@gmail.com> - 4.5-9 - Update to git head for prooftree 0.14 support * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.5-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * 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
/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/README.md /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, Sun Oct 27 02:54:38 2024