About

This package is 355.7 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/proofgeneral/proofgeneral_4.3~pre131011-0.2_all.deb .

View its full control file here: debian/control.

Description

generic frontend for proof assistants

Relations

This package depends on: 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.

Package Contents

This package is indexed.

proofgeneral 4.3~pre131011-0.2 is in ubuntu - xenial / 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 1.8 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 292 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.5 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 89.7 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 7.1 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 55.0 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.8 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.0 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.0 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-image.gif image/gif root:root 0o644 17.7 KB
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-image.jpg image/jpeg root:root 0o644 15.7 KB
/usr/share/emacs/site-lisp/proofgeneral/images/README text/plain root:root 0o644 622 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.2 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