This file is indexed.

/usr/share/emacs/site-lisp/ is in proofgeneral 4.3~pre130510-1.1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/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-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/coq/coq.el text/x-lisp root:root 0o644 80.5 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-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/generic/proof.el text/plain root:root 0o644 1.4 KB
/usr/share/emacs/site-lisp/proofgeneral/images/ root:root 0o755
/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/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/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