Fri, 22 Nov 2024 10:24:14 UTC | login

Information for RPM emacs-common-proofgeneral-4.5-9.20240912git1ffca70.fc41.noarch.rpm

ID1463733
Nameemacs-common-proofgeneral
Version4.5
Release9.20240912git1ffca70.fc41
Epoch
Archnoarch
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.
Build Time2024-09-29 15:38:43 GMT
Size1.05 MB
b1db6e6ffa50ba00918b0f3290204336
LicenseGPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
git:https://github.com/ProofGeneral/PG.git
Provides
application()
application(proofgeneral.desktop)
emacs-common-proofgeneral = 4.5-9.20240912git1ffca70.fc41
metainfo()
metainfo(io.github.proofgeneral.metainfo.xml)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
/usr/bin/perl
/usr/bin/sh
hicolor-icon-theme
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends
prooftree
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 31 of 31
Name ascending sort Size
/usr/bin/coqtags4.32 KB
/usr/bin/proofgeneral3.03 KB
/usr/share/application-registry/proofgeneral.applications169.00 B
/usr/share/applications/proofgeneral.desktop300.00 B
/usr/share/doc/proofgeneral0.00 B
/usr/share/doc/proofgeneral/AUTHORS1.63 KB
/usr/share/doc/proofgeneral/BUGS3.40 KB
/usr/share/doc/proofgeneral/CHANGES31.40 KB
/usr/share/doc/proofgeneral/COMPATIBILITY1.12 KB
/usr/share/doc/proofgeneral/PG-adapting.pdf403.40 KB
/usr/share/doc/proofgeneral/ProofGeneral.pdf501.51 KB
/usr/share/doc/proofgeneral/README.md6.57 KB
/usr/share/doc/proofgeneral/pgshell0.00 B
/usr/share/doc/proofgeneral/pgshell/example.pgsh651.00 B
/usr/share/doc/proofgeneral/phox0.00 B
/usr/share/doc/proofgeneral/phox/sqrt2.phx5.30 KB
/usr/share/icons/hicolor/128x128/apps/proofgeneral.png13.79 KB
/usr/share/icons/hicolor/16x16/apps/proofgeneral.png1020.00 B
/usr/share/icons/hicolor/256x256/apps/proofgeneral.png41.73 KB
/usr/share/icons/hicolor/32x32/apps/proofgeneral.png2.05 KB
/usr/share/icons/hicolor/48x48/apps/proofgeneral.png3.60 KB
/usr/share/icons/hicolor/64x64/apps/proofgeneral.png4.93 KB
/usr/share/icons/hicolor/96x96/apps/proofgeneral.png9.05 KB
/usr/share/info/PG-adapting.info.gz57.24 KB
/usr/share/info/ProofGeneral.info.gz76.67 KB
/usr/share/licenses/emacs-common-proofgeneral0.00 B
/usr/share/licenses/emacs-common-proofgeneral/COPYING34.33 KB
/usr/share/man/man1/proofgeneral.1.gz775.00 B
/usr/share/metainfo/io.github.proofgeneral.metainfo.xml5.16 KB
/usr/share/mime-info/proofgeneral.keys431.00 B
/usr/share/mime-info/proofgeneral.mime52.00 B
Component of No Buildroots