/usr/share/emacs/site-lisp/ is in proofgeneral 4.3~pre131011-0.2.
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.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-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/coq/coq.el
|
text/x-lisp | root:root | 0o644 | 89.7 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-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/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-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/images/epg-abort.png
|
image/png | root:root | 0o644 | 307 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 | 889 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 | 854 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 | 396 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 | 918 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 | 848 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 | 724 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 | 257 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 | 184 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 | 347 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 | 228 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 | 187 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 | 874 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 | 179 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 | 189 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.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 |