Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM emacs-common-proofgeneral-4.4-10.fc32.src.rpm

ID	533379
Name	emacs-common-proofgeneral
Version	4.4
Release	10.fc32
Epoch
Arch	src
Summary	Emacs mode for standard interaction interface for proof assistants
Description	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.
Build Time	2020-01-28 17:16:30 GMT
Size	13.53 MB
SIGMD5	f7f93c8e5f7bc2adfcc482cfee7decd3
License	GPLv2
Provides	No Provides
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	desktop-file-utils emacs libappstream-glib perl-generators rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 tex-cm-super tex-ec texinfo-tex
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 9 of 9 Name Size emacs-common-proofgeneral.spec 10.49 KB pg-4.2-Makefile.patch 517.00 B pg-4.2-desktop.patch 526.00 B proofgeneral-128x128.png 15.22 KB proofgeneral-256x256.png 41.73 KB proofgeneral-64x64.png 5.66 KB proofgeneral-96x96.png 9.05 KB proofgeneral.appdata.xml 5.21 KB v4.4.tar.gz 13.45 MB
Component of	No Buildroots