This package is 353.1 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/proofgeneral/proofgeneral_4.3~pre130510-1.1_all.deb
.
View its full control file here:
debian/control.
generic frontend for proof assistants
This package depends on:
emacs23 | emacs23-nox | emacs23-lucid | emacs24 | emacs24-nox | emacs24-lucid, mmm-mode.
This package does not recommend any other package.
This package suggests:
proofgeneral-doc.
This package conflicts with:
proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc.
proofgeneral 4.3~pre130510-1.1 is in ubuntu - trusty / universe. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 440 bytes |
postrm
|
text/x-shellscript | N/A | N/A | 160 bytes |
preinst
|
text/x-shellscript | N/A | N/A | 1.0 KB |
prerm
|
text/x-shellscript | N/A | N/A | 244 bytes |
/etc/
|
root:root | 0o755 | ||
/etc/emacs/
|
root:root | 0o755 | ||
/etc/emacs/site-start.d/
|
root:root | 0o755 | ||
/etc/emacs/site-start.d/50proofgeneral.el
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/proofgeneral
|
text/x-shellscript | root:root | 0o755 | 275 bytes |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/install/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/install/proofgeneral
|
text/x-shellscript | root:root | 0o755 | 1.9 KB |
/usr/lib/emacsen-common/packages/remove/
|
root:root | 0o755 | ||
/usr/lib/emacsen-common/packages/remove/proofgeneral
|
text/x-shellscript | root:root | 0o755 | 284 bytes |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/application-registry/
|
root:root | 0o755 | ||
/usr/share/application-registry/proofgeneral.applications
|
text/plain | root:root | 0o644 | 169 bytes |
/usr/share/applications/
|
root:root | 0o755 | ||
/usr/share/applications/proofgeneral.desktop
|
text/plain | root:root | 0o644 | 289 bytes |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/proofgeneral/
|
root:root | 0o755 | ||
/usr/share/doc/proofgeneral/AUTHORS
|
text/plain | root:root | 0o644 | 672 bytes |
/usr/share/doc/proofgeneral/BUGS
|
text/x-lisp | root:root | 0o644 | 4.0 KB |
/usr/share/doc/proofgeneral/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 2.2 KB |
/usr/share/doc/proofgeneral/COMPATIBILITY
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/doc/proofgeneral/copyright
|
text/plain | root:root | 0o644 | 22.3 KB |
/usr/share/doc/proofgeneral/examples/
|
root:root | 0o755 | ||
/usr/share/doc/proofgeneral/examples/coq_example.v
|
text/plain | root:root | 0o644 | 277 bytes |
/usr/share/doc/proofgeneral/FAQ.gz
|
application/gzip | root:root | 0o644 | 4.2 KB |
/usr/share/doc/proofgeneral/README
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/proofgeneral/README.Debian
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/doc/proofgeneral/REGISTER
|
text/plain | root:root | 0o644 | 406 bytes |
/usr/share/emacs/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/proofgeneral/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/proofgeneral/coq/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el
|
text/x-lisp | root:root | 0o644 | 8.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el
|
text/x-lisp | root:root | 0o644 | 3.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el
|
text/x-lisp | root:root | 0o644 | 24.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el
|
text/x-lisp | root:root | 0o644 | 9.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el
|
text/x-lisp | root:root | 0o644 | 80.5 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el
|
text/x-lisp | root:root | 0o644 | 38.6 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el
|
text/x-lisp | root:root | 0o644 | 6.4 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el
|
text/x-lisp | root:root | 0o644 | 54.5 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el
|
text/x-lisp | root:root | 0o644 | 17.4 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie-lexer.el
|
text/x-lisp | root:root | 0o644 | 29.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
|
text/x-lisp | root:root | 0o644 | 48.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el
|
text/x-lisp | root:root | 0o644 | 7.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el
|
text/x-lisp | root:root | 0o644 | 1.6 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el
|
text/x-lisp | root:root | 0o644 | 8.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el
|
text/plain | root:root | 0o644 | 8.1 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el
|
text/x-lisp | root:root | 0o644 | 4.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el
|
text/x-lisp | root:root | 0o644 | 3.8 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el
|
text/x-lisp | root:root | 0o644 | 9.6 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el
|
text/x-lisp | root:root | 0o644 | 21.9 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el
|
text/x-lisp | root:root | 0o644 | 22.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el
|
text/x-lisp | root:root | 0o644 | 18.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el
|
text/x-lisp | root:root | 0o644 | 46.9 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el
|
text/x-lisp | root:root | 0o644 | 10.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el
|
text/x-lisp | root:root | 0o644 | 7.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el
|
text/x-lisp | root:root | 0o644 | 34.1 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el
|
text/x-lisp | root:root | 0o644 | 2.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el
|
text/plain | root:root | 0o644 | 69.9 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el
|
text/x-lisp | root:root | 0o644 | 9.6 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el
|
text/x-lisp | root:root | 0o644 | 3.8 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el
|
text/plain | root:root | 0o644 | 8.1 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el
|
text/x-lisp | root:root | 0o644 | 3.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el
|
text/x-lisp | root:root | 0o644 | 1.9 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el
|
text/x-lisp | root:root | 0o644 | 35.8 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el
|
text/x-lisp | root:root | 0o644 | 2.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el
|
text/x-lisp | root:root | 0o644 | 102.5 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el
|
text/x-lisp | root:root | 0o644 | 67.9 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el
|
text/x-lisp | root:root | 0o644 | 13.8 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el
|
text/x-lisp | root:root | 0o644 | 11.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el
|
text/x-lisp | root:root | 0o644 | 11.8 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el
|
text/x-lisp | root:root | 0o644 | 8.5 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el
|
text/plain | root:root | 0o644 | 50.5 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el
|
text/x-lisp | root:root | 0o644 | 5.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el
|
text/x-lisp | root:root | 0o644 | 16.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el
|
text/x-lisp | root:root | 0o644 | 28.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png
|
image/png | root:root | 0o644 | 236 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm
|
image/x-xpmi | root:root | 0o644 | 908 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png
|
image/png | root:root | 0o644 | 860 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm
|
image/x-xpmi | root:root | 0o644 | 4.4 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png
|
image/png | root:root | 0o644 | 492 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm
|
image/x-xpmi | root:root | 0o644 | 3.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png
|
image/png | root:root | 0o644 | 762 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm
|
image/x-xpmi | root:root | 0o644 | 3.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png
|
image/png | root:root | 0o644 | 1.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm
|
image/x-xpmi | root:root | 0o644 | 5.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png
|
image/png | root:root | 0o644 | 325 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm
|
image/x-xpmi | root:root | 0o644 | 1.4 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png
|
image/png | root:root | 0o644 | 913 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm
|
image/x-xpmi | root:root | 0o644 | 4.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png
|
image/png | root:root | 0o644 | 690 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm
|
image/x-xpmi | root:root | 0o644 | 2.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png
|
image/png | root:root | 0o644 | 609 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm
|
image/x-xpmi | root:root | 0o644 | 2.9 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png
|
image/png | root:root | 0o644 | 205 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm
|
image/x-xpmi | root:root | 0o644 | 1.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png
|
image/png | root:root | 0o644 | 141 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm
|
image/x-xpmi | root:root | 0o644 | 786 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png
|
image/png | root:root | 0o644 | 218 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.xpm
|
image/x-xpmi | root:root | 0o644 | 776 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png
|
image/png | root:root | 0o644 | 1.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm
|
image/x-xpmi | root:root | 0o644 | 6.4 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png
|
image/png | root:root | 0o644 | 165 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm
|
image/x-xpmi | root:root | 0o644 | 789 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png
|
image/png | root:root | 0o644 | 155 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm
|
image/x-xpmi | root:root | 0o644 | 789 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png
|
image/png | root:root | 0o644 | 490 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm
|
image/x-xpmi | root:root | 0o644 | 3.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png
|
image/png | root:root | 0o644 | 143 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm
|
image/x-xpmi | root:root | 0o644 | 786 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png
|
image/png | root:root | 0o644 | 154 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm
|
image/x-xpmi | root:root | 0o644 | 785 bytes |
/usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm
|
image/x-xpmi | root:root | 0o644 | 1.6 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.gif
|
image/gif | root:root | 0o644 | 17.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.jpg
|
image/jpeg | root:root | 0o644 | 15.7 KB |
/usr/share/emacs/site-lisp/proofgeneral/images/README
|
text/plain | root:root | 0o644 | 629 bytes |
/usr/share/emacs/site-lisp/proofgeneral/lib/
|
root:root | 0o755 | ||
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el
|
text/x-lisp | root:root | 0o644 | 12.4 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/holes.el
|
text/x-lisp | root:root | 0o644 | 25.3 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el
|
text/x-lisp | root:root | 0o644 | 5.1 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el
|
application/octet-stream | root:root | 0o644 | 13.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el
|
text/x-lisp | root:root | 0o644 | 5.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el
|
text/x-lisp | root:root | 0o644 | 2.1 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el
|
text/x-lisp | root:root | 0o644 | 4.2 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el
|
text/x-lisp | root:root | 0o644 | 11.1 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/span.el
|
text/x-lisp | root:root | 0o644 | 8.5 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el
|
text/x-lisp | root:root | 0o644 | 14.0 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el
|
text/x-lisp | root:root | 0o644 | 240.8 KB |
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el
|
text/x-lisp | root:root | 0o644 | 52.4 KB |
/usr/share/icons/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/16x16/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/16x16/proofgeneral.png
|
image/png | root:root | 0o644 | 657 bytes |
/usr/share/icons/hicolor/32x32/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/32x32/proofgeneral.png
|
image/png | root:root | 0o644 | 1.9 KB |
/usr/share/icons/hicolor/48x48/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/48x48/proofgeneral.png
|
image/png | root:root | 0o644 | 4.8 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/proofgeneral.1.gz
|
application/gzip | root:root | 0o644 | 700 bytes |
/usr/share/menu/
|
root:root | 0o755 | ||
/usr/share/menu/proofgeneral
|
text/plain | root:root | 0o644 | 135 bytes |
/usr/share/mime-info/
|
root:root | 0o755 | ||
/usr/share/mime-info/proofgeneral.keys
|
text/plain | root:root | 0o644 | 431 bytes |
/usr/share/mime-info/proofgeneral.mime
|
text/plain | root:root | 0o644 | 52 bytes |
/usr/share/pixmaps/
|
root:root | 0o755 | ||
/usr/share/pixmaps/proofgeneral.png
|
image/png | root:root | 0o644 | 4.8 KB |