emacs-common-proofgeneral-4.4-7.fc29.noarch.rpm


Advertisement

Description

emacs-common-proofgeneral - Emacs mode for standard interaction interface for proof assistants

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename emacs-common-proofgeneral-4.4-7.fc29.noarch.rpm
Package name emacs-common-proofgeneral
Package version 4.4
Package release 7.fc29
Package architecture noarch
Package type rpm
Category Applications/Editors
Homepage https://proofgeneral.github.io/
License GPLv2
Maintainer -
Download size 1.05 MB
Installed size 1.17 MB
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.

Alternatives

Package Version Architecture Repository
emacs-common-proofgeneral-4.4-7.fc29.noarch.rpm 4.4 noarch Fedora
emacs-common-proofgeneral - - -

Requires

Name Value
/usr/bin/perl -
hicolor-icon-theme -

Provides

Name Value
application() -
application(proofgeneral.desktop) -
emacs-common-proofgeneral = 4.4-7.fc29
metainfo() -
metainfo(proofgeneral.appdata.xml) -

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package emacs-common-proofgeneral-4.4-7.fc29.noarch.rpm
Source Package emacs-common-proofgeneral-4.4-7.fc29.src.rpm

Install Howto

Install emacs-common-proofgeneral rpm package:

# dnf --refresh install emacs-common-proofgeneral

Files

Path
/usr/bin/coqtags
/usr/bin/isartags
/usr/bin/legotags
/usr/bin/proofgeneral
/usr/share/appdata/proofgeneral.appdata.xml
/usr/share/application-registry/proofgeneral.applications
/usr/share/applications/proofgeneral.desktop
/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/REGISTER
/usr/share/doc/proofgeneral/acl2/example.acl2
/usr/share/doc/proofgeneral/acl2/root2.acl2
/usr/share/doc/proofgeneral/hol98/example.sml
/usr/share/doc/proofgeneral/hol98/root2.sml
/usr/share/doc/proofgeneral/isar/Example-Tokens.thy
/usr/share/doc/proofgeneral/isar/Example.thy
/usr/share/doc/proofgeneral/lego/example.l
/usr/share/doc/proofgeneral/lego/example2.l
/usr/share/doc/proofgeneral/lego/root2.l
/usr/share/doc/proofgeneral/pgshell/example.pgsh
/usr/share/doc/proofgeneral/phox/example.phx
/usr/share/doc/proofgeneral/phox/square-root-2.phx
/usr/share/doc/proofgeneral/twelf/example.elf
/usr/share/icons/hicolor/128x128/proofgeneral.png
/usr/share/icons/hicolor/16x16/proofgeneral.png
/usr/share/icons/hicolor/256x256/proofgeneral.png
/usr/share/icons/hicolor/32x32/proofgeneral.png
/usr/share/icons/hicolor/48x48/proofgeneral.png
/usr/share/icons/hicolor/64x64/proofgeneral.png
/usr/share/icons/hicolor/96x96/proofgeneral.png
/usr/share/info/PG-adapting.info.gz
/usr/share/info/ProofGeneral.info.gz
/usr/share/licenses/emacs-common-proofgeneral/COPYING
/usr/share/man/man1/proofgeneral.1.gz
/usr/share/mime-info/proofgeneral.keys
/usr/share/mime-info/proofgeneral.mime
/usr/share/pixmaps/proofgeneral.png

Changelog

2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 4.4-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-03-03 - Jerry James <loganjerry@gmail.com> - 4.4-6
- Install additional icon sizes
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 4.4-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-11 - Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 4.4-4
- Remove obsolete scriptlets
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 4.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 4.4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-10-25 - Jerry James <loganjerry@gmail.com> - 4.4-1
- New upstream release
- New project URLs
- Update the AppData file and validate it on installation
- Use the license macro

See Also

Package Description
emacs-common-riece-8.0.0-13.fc29.noarch.rpm Yet Another IRC Client for Emacs and XEmacs
emacs-common-tuareg-2.0.10-5.fc29.noarch.rpm Emacs and XEmacs mode for editing ocaml
emacs-common-w3m-1.4.631-0.2.20180618cvs.fc29.noarch.rpm W3m interface for Emacsen
emacs-ddskk-16.2-4.fc29.noarch.rpm Compiled elisp files to run Daredevil SKK under GNU Emacs
emacs-epix-1.2.18-5.fc29.noarch.rpm Compiled elisp files to run epix under GNU Emacs
emacs-ess-17.11-1.fc29.noarch.rpm Files to run Emacs Speaks Statistics under GNU Emacs
emacs-ess-doc-17.11-1.fc29.noarch.rpm Documentation of Emacs Speaks Statistics
emacs-evil-1.2.13-2.fc29.noarch.rpm Extensible vi layer for Emacs
emacs-filesystem-26.1-6.fc29.noarch.rpm Emacs filesystem layout
emacs-gettext-0.19.8.1-17.fc29.noarch.rpm Support for editing po files within GNU Emacs
emacs-goodies-40.1-2.fc29.noarch.rpm Miscellaneous add on for Emacs
emacs-goodies-el-40.1-2.fc29.noarch.rpm Elisp source files for Emacs-goodies
emacs-goto-chg-1.7.2-2.fc29.noarch.rpm Emacs add-on to go to last change in current buffer
emacs-haskell-mode-16.2-0.1.fc29.noarch.rpm Haskell editing mode for Emacs
emacs-htmlize-1.34-16.fc29.noarch.rpm Convert buffer text and decorations to HTML
Advertisement
Advertisement