معرفی شرکت ها

emacs-common-proofgeneral-4.5-5.fc39.noarch.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Emacs mode for standard interaction interface for proof assistants
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything noarch
نام بسته emacs-common-proofgeneral
نام فایل بسته emacs-common-proofgeneral-4.5-5.fc39.noarch.rpm
نسخه بسته 4.5
انتشار بسته 5.fc39
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Wed 19 Jul 2023 10
هاست سازنده buildvm-a64-18.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://proofgeneral.github.io/
مجوز GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
حجم دانلود 1.1M
حجم نصب 1.193M
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.


جایگزین ها

بسته نسخه معماری مخزن
emacs-common-proofgeneral-4.5-5.fc39.src.rpm 4.5 noarch Fedora Everything


نیازمندی

مقدار نام
- /usr/bin/perl
- /usr/bin/sh
- hicolor-icon-theme


ارائه دهنده

مقدار نام
- application()
- application(proofgeneral.desktop)
= 4.5-5.fc39 emacs-common-proofgeneral
- metainfo()
- metainfo(io.github.proofgeneral.metainfo.xml)


نحوه نصب


نصب پکیج rpm emacs-common-proofgeneral:

    dnf install emacs-common-proofgeneral-4.5-5.fc39.noarch.rpm


فایل ها

مسیرها
/usr/bin/coqtags
/usr/bin/proofgeneral
/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/pgshell
/usr/share/doc/proofgeneral/pgshell/example.pgsh
/usr/share/doc/proofgeneral/phox
/usr/share/doc/proofgeneral/phox/sqrt2.phx
/usr/share/icons/hicolor/128x128/apps/proofgeneral.png
/usr/share/icons/hicolor/16x16/apps/proofgeneral.png
/usr/share/icons/hicolor/256x256/apps/proofgeneral.png
/usr/share/icons/hicolor/32x32/apps/proofgeneral.png
/usr/share/icons/hicolor/48x48/apps/proofgeneral.png
/usr/share/icons/hicolor/64x64/apps/proofgeneral.png
/usr/share/icons/hicolor/96x96/apps/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/metainfo/io.github.proofgeneral.metainfo.xml
/usr/share/mime-info/proofgeneral.keys


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-07-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

2023-07-18

Validate appdata with appstream-util

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-11-19

Add patch to silence warnings about an overly long docstring
Convert License tag to SPDX

2022-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-20

Version 4.5
License change from GPLv2 to GPLv3+

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-10-19

13 Oct 2021 git snapshot for numerous updates and bug fixes
Install metainfo instead of appdata and reenable validation

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild