emacs-proofgeneral-4.4-15.20211013gitfd04605.fc36 in Fedora Rawhide
↵ Return to the main page of emacs-proofgeneral
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-10-19 | Jerry James <loganjerry at gmail dot com> - 4.4-15.20211013gitfd04605 | - 13 Oct 2021 git snapshot for numerous updates and bug fixes - Install metainfo instead of appdata and reenable validation |
| 2021-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.4-14 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-01-26 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.4-13 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2020-07-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.4-12 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
| 2020-05-20 | Jerry James <loganjerry at gmail dot com> - 4.4-11.20200506gitea62543 | - May 6 2020 git snapshot so emacs-mmm dependency can be dropped (bz 1837683) - Remove the -el subpackage as required by current package guidelines |
| 2020-01-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.4-10 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild |
Dependencies
- emacs >= 27.2
- emacs-common-proofgeneral = 4.4-15.20211013gitfd04605.fc36
- emacs-lucid >= 27.2
- emacs-nox >= 27.2
Provides
- emacs-proofgeneral
- emacs-proofgeneral-el
Files
- usr/
- share/
- emacs/
- site-lisp/
- proofgeneral/
- acl2/
- acl2.el
- acl2.elc
- ccc/
- ccc.el
- ccc.elc
- coq/
- coq-abbrev.el
- coq-abbrev.elc
- coq-autotest.el
- coq-autotest.elc
- coq-compile-common.el
- coq-compile-common.elc
- coq-db.el
- coq-db.elc
- coq-diffs.el
- coq-diffs.elc
- coq-indent.el
- coq-indent.elc
- coq-local-vars.el
- coq-local-vars.elc
- coq-mode.el
- coq-mode.elc
- coq-par-compile.el
- coq-par-compile.elc
- coq-seq-compile.el
- coq-seq-compile.elc
- coq-smie.el
- coq-smie.elc
- coq-syntax.el
- coq-syntax.elc
- coq-system.el
- coq-system.elc
- coq-unicode-tokens.el
- coq-unicode-tokens.elc
- coq.el
- coq.elc
- easycrypt/
- easycrypt-abbrev.el
- easycrypt-abbrev.elc
- easycrypt-hooks.el
- easycrypt-hooks.elc
- easycrypt-keywords.el
- easycrypt-keywords.elc
- easycrypt-syntax.el
- easycrypt-syntax.elc
- easycrypt.el
- easycrypt.elc
- generic/
- pg-assoc.el
- pg-assoc.elc
- pg-autotest.el
- pg-autotest.elc
- pg-custom.el
- pg-custom.elc
- pg-goals.el
- pg-goals.elc
- pg-movie.el
- pg-movie.elc
- pg-pamacs.el
- pg-pamacs.elc
- pg-pbrpm.el
- pg-pbrpm.elc
- pg-pgip.el
- pg-pgip.elc
- pg-response.el
- pg-response.elc
- pg-user.el
- pg-user.elc
- pg-vars.el
- pg-vars.elc
- pg-xml.el
- pg-xml.elc
- proof-autoloads.el
- proof-autoloads.elc
- proof-auxmodes.el
- proof-auxmodes.elc
- proof-config.el
- proof-config.elc
- proof-depends.el
- proof-depends.elc
- proof-easy-config.el
- proof-easy-config.elc
- proof-faces.el
- proof-faces.elc
- proof-indent.el
- proof-indent.elc
- proof-maths-menu.el
- proof-maths-menu.elc
- proof-menu.el
- proof-menu.elc
- proof-script.el
- proof-script.elc
- proof-shell.el
- proof-shell.elc
- proof-site.el
- proof-site.elc
- proof-splash.el
- proof-splash.elc
- proof-syntax.el
- proof-syntax.elc
- proof-toolbar.el
- proof-toolbar.elc
- proof-tree.el
- proof-tree.elc
- proof-unicode-tokens.el
- proof-unicode-tokens.elc
- proof-useropts.el
- proof-useropts.elc
- proof-utils.el
- proof-utils.elc
- proof.el
- proof.elc
- hol-light/
- hol-light-autotest.el
- hol-light-autotest.elc
- hol-light-unicode-tokens.el
- hol-light-unicode-tokens.elc
- hol-light.el
- hol-light.elc
- hol98/
- hol98.el
- hol98.elc
- images/
- ProofGeneral-splash.png
- ProofGeneral.png
- README
- epg-abort.png
- epg-abort.xpm
- epg-command.png
- epg-command.xpm
- epg-context.png
- epg-context.xpm
- epg-find.png
- epg-find.xpm
- epg-goal.png
- epg-goal.xpm
- epg-goto.png
- epg-goto.xpm
- epg-help.png
- epg-help.xpm
- epg-home.png
- epg-home.xpm
- epg-info.png
- epg-info.xpm
- epg-interrupt.png
- epg-interrupt.xpm
- epg-next.png
- epg-next.xpm
- epg-prooftree.png
- epg-prooftree.xpm
- epg-qed.png
- epg-qed.xpm
- epg-restart.png
- epg-restart.xpm
- epg-retract.png
- epg-retract.xpm
- epg-state.png
- epg-state.xpm
- epg-undo.png
- epg-undo.xpm
- epg-use.png
- epg-use.xpm
- hiddenproof.xpm
- isar/
- interface-setup.el
- interface-setup.elc
- isabelle-system.el
- isabelle-system.elc
- isar-autotest.el
- isar-autotest.elc
- isar-find-theorems.el
- isar-find-theorems.elc
- isar-keywords.el
- isar-keywords.elc
- isar-profiling.el
- isar-profiling.elc
- isar-syntax.el
- isar-syntax.elc
- isar-unicode-tokens.el
- isar-unicode-tokens.elc
- isar.el
- isar.elc
- lego/
- lego-syntax.el
- lego-syntax.elc
- lego.el
- lego.elc
- lib/
- bufhist.el
- bufhist.elc
- holes.el
- holes.elc
- local-vars-list.el
- local-vars-list.elc
- maths-menu.el
- maths-menu.elc
- pg-dev.el
- pg-dev.elc
- pg-fontsets.el
- pg-fontsets.elc
- proof-compat.el
- proof-compat.elc
- scomint.el
- scomint.elc
- span.el
- span.elc
- texi-docstring-magic.el
- texi-docstring-magic.elc
- unicode-chars.el
- unicode-chars.elc
- unicode-tokens.el
- unicode-tokens.elc
- pghaskell/
- pghaskell.el
- pghaskell.elc
- pgocaml/
- pgocaml.el
- pgocaml.elc
- pgshell/
- pgshell.el
- pgshell.elc
- phox/
- phox.el
- phox.elc
- twelf/
- twelf-font.el
- twelf-font.elc
- twelf-old.el
- twelf-old.elc
- twelf.el
- twelf.elc
- acl2/
- site-start.d/
- pg-init.el
- proofgeneral/
- site-lisp/
- emacs/
- share/
Sources on Pagure