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:
Size: 1229661 Source RPM: emacs-common-proofgeneral-4.4-9.fc31.src.rpm
Packager: Fedora Project
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.






* Wed Jul 24 2019 Fedora Release Engineering <> - 4.4-9
  - Rebuilt for
* Thu Jan 31 2019 Fedora Release Engineering <> - 4.4-8
  - Rebuilt for
* Thu Jul 12 2018 Fedora Release Engineering <> - 4.4-7
  - Rebuilt for
* Sat Mar 03 2018 Jerry James <> - 4.4-6
  - Install additional icon sizes
* Wed Feb 07 2018 Fedora Release Engineering <> - 4.4-5
  - Rebuilt for
* Thu Jan 11 2018 Igor Gnatenko <> - 4.4-4
  - Remove obsolete scriptlets
* Wed Jul 26 2017 Fedora Release Engineering <> - 4.4-3
  - Rebuilt for



Generated by rpm2html 1.8.1

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