Package - proofgeneral
Primary informations
Download package: http://deb.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.5-3_all.deb (Size: 625.6KiB)| Property | Value |
|---|---|
| Package | proofgeneral |
| Version | 4.5-3 |
| Installed-Size | 2140 |
| Maintainer | Debian Math Team |
| Architecture | all |
| Replaces | proofgeneral-coq, proofgeneral-misc |
| Depends | emacs |
| Suggests | proofgeneral-doc, prooftree |
| Conflicts | proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc |
| Description | generic frontend for proof assistants |
| Description-md5 | d9db6f28a37c20061313aac90898d734 |
| Homepage | https://proofgeneral.github.io/ |
| Tag | field::mathematics, implemented-in::lisp, interface::graphical, interface::text-mode, interface::x11, role::plugin, role::program, suite::emacs, use::editing, x11::application |
| Section | editors |
| Priority | optional |
| Filename | pool/main/p/proofgeneral/proofgeneral_4.5-3_all.deb |
| Size | 640580 |
| MD5sum | 1cbbbcd9d8444a44157cfaaa3498a1ce |
| SHA256 | 3da387654657c3bb09e67f4d4bf3eadf3e85a016dd7a973598db338479fd081b |
Files in package
- /etc/emacs/site-start.d/50proofgeneral.el
- /usr/bin/coqtags
- /usr/bin/proofgeneral
- /usr/lib/emacsen-common/packages/compat/proofgeneral
- /usr/share/application-registry/proofgeneral.applications
- /usr/share/applications/proofgeneral.desktop
- /usr/share/doc/proofgeneral/AUTHORS
- /usr/share/doc/proofgeneral/BUGS
- /usr/share/doc/proofgeneral/COMPATIBILITY
- /usr/share/doc/proofgeneral/FAQ.md.gz
- /usr/share/doc/proofgeneral/README.Debian
- /usr/share/doc/proofgeneral/README.md.gz
- /usr/share/doc/proofgeneral/changelog.Debian.gz
- /usr/share/doc/proofgeneral/changelog.gz
- /usr/share/doc/proofgeneral/copyright
- /usr/share/doc/proofgeneral/examples/coq_example.v
- /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-diffs.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-mode.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-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/images/ProofGeneral-splash.png
- /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png
- /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm
- /usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm
- /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/icons/hicolor/128x128/apps/proofgeneral.png
- /usr/share/icons/hicolor/16x16/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/lintian/overrides/proofgeneral
- /usr/share/man/man1/coqtags.1.gz
- /usr/share/man/man1/proofgeneral.1.gz
- /usr/share/mime-info/proofgeneral.keys
- /usr/share/mime-info/proofgeneral.mime