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


Advertisement

Description

emacs-proofgeneral-el - Elisp source files for Proof General under GNU Emacs

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename emacs-proofgeneral-el-4.4-7.fc29.noarch.rpm
Package name emacs-proofgeneral-el
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 395.79 KB
Installed size 1.67 MB
This package contains the elisp source files for Proof General under
GNU Emacs. You do not need to install this package to run Proof
General. Install the emacs-proofgeneral package to use Proof General with
GNU Emacs.

Alternatives

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

Requires

Name Value
emacs-proofgeneral = 4.4-7.fc29

Provides

Name Value
emacs-proofgeneral-el = 4.4-7.fc29

Download

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

Install Howto

Install emacs-proofgeneral-el rpm package:

# dnf --refresh install emacs-proofgeneral-el

Files

Path
/usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el
/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light.el
/usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.el
/usr/share/emacs/site-lisp/proofgeneral/isar/interface-setup.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isabelle-system.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-find-theorems.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-keywords.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-profiling.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar.el
/usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/lego/lego.el
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el
/usr/share/emacs/site-lisp/proofgeneral/lib/holes.el
/usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el
/usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el
/usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el
/usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el
/usr/share/emacs/site-lisp/proofgeneral/lib/span.el
/usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/pghaskell/pghaskell.el
/usr/share/emacs/site-lisp/proofgeneral/pgocaml/pgocaml.el
/usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-extraction.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-font.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-fun.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-lang.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-outline.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-pbrpm.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-sym-lock.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-tags.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox.el

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-pymacs-0.25-8.fc25.noarch.rpm Emacs and Python integration framework
emacs-pymacs-el-0.25-8.fc25.noarch.rpm Elisp source files for pymacs under GNU Emacs
emacs-riece-8.0.0-13.fc29.noarch.rpm Compiled elisp files to run Riece under GNU Emacs
emacs-rinari-2.1-16.20100815git.fc29.noarch.rpm Ruby on rails minor mode for Emacs
emacs-rinari-el-2.1-16.20100815git.fc29.noarch.rpm Elisp source files for emacs-rinari
emacs-rpm-spec-mode-0.16-5.fc29.noarch.rpm Major GNU Emacs mode for editing RPM spec files
emacs-slime-2.19-4.fc29.noarch.rpm The superior lisp interaction mode for emacs
emacs-slime-el-2.19-4.fc29.noarch.rpm Elisp source files for emacs-slime
emacs-spice-mode-1.2.25-20.fc29.noarch.rpm SPICE Mode for GNU Emacs
emacs-spice-mode-el-1.2.25-20.fc29.noarch.rpm Source files for Emacs-spice-mode under GNU Emacs
emacs-terminal-26.1-6.fc29.noarch.rpm A desktop menu item for GNU Emacs terminal
emacs-tuareg-2.0.10-5.fc29.noarch.rpm Compiled elisp files to run Tuareg-mode under GNU Emacs
emacs-undo-tree-0.6.4-6.fc29.noarch.rpm Treats undo history as a tree of changes
emacs-verilog-mode-531-13.fc29.noarch.rpm Verilog mode for Emacs
emacs-vm-8.1.2-23.fc29.i686.rpm Emacs VM mail reader
Advertisement
Advertisement