Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

emacs-common-proofgeneral-4.4-9.fc31 RPM for noarch

From Fedora 31 for aarch64 / e

Name: emacs-common-proofgeneral Distribution: Fedora Project
Version: 4.4 Vendor: Fedora Project
Release: 9.fc31 Build date: Thu Jul 25 01:27:15 2019
Group: Unspecified Build host: buildvm-22.phx2.fedoraproject.org
Size: 1229661 Source RPM: emacs-common-proofgeneral-4.4-9.fc31.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.

Provides

Requires

License

GPLv2

Changelog

* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Sat Mar 03 2018 Jerry James <loganjerry@gmail.com> - 4.4-6
  - Install additional icon sizes
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Jan 11 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 4.4-4
  - Remove obsolete scriptlets
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 4.4-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

Files

/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
/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
/usr/share/doc/proofgeneral/acl2/example.acl2
/usr/share/doc/proofgeneral/acl2/root2.acl2
/usr/share/doc/proofgeneral/hol98
/usr/share/doc/proofgeneral/hol98/example.sml
/usr/share/doc/proofgeneral/hol98/root2.sml
/usr/share/doc/proofgeneral/isar
/usr/share/doc/proofgeneral/isar/Example-Tokens.thy
/usr/share/doc/proofgeneral/isar/Example.thy
/usr/share/doc/proofgeneral/lego
/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
/usr/share/doc/proofgeneral/pgshell/example.pgsh
/usr/share/doc/proofgeneral/phox
/usr/share/doc/proofgeneral/phox/example.phx
/usr/share/doc/proofgeneral/phox/square-root-2.phx
/usr/share/doc/proofgeneral/twelf
/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
/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


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Mar 10 11:17:24 2020