This file is indexed.

/usr/ is in proofgeneral-misc 3.7-4.

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

File Mime Type Owner Mode Size
..
/usr/share/ root:root 0o755
/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/phox/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/phox/x-symbol-phox.el text/x-lisp root:root 0o644 7.6 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/example.phx text/plain root:root 0o644 299 bytes
/usr/share/emacs/site-lisp/proofgeneral/phox/phox.el text/x-lisp root:root 0o644 7.9 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-extraction.el text/x-lisp root:root 0o644 5.3 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/README.pbrpm text/plain root:root 0o644 628 bytes
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-font.el text/x-lisp root:root 0o644 3.3 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-outline.el text/x-lisp root:root 0o644 1.9 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-fun.el text/x-lisp root:root 0o644 11.9 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-tags.el text/x-lisp root:root 0o644 3.5 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-sym-lock.el text/x-lisp root:root 0o644 14.0 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-lang.el text/x-lisp root:root 0o644 1.5 KB
/usr/share/doc/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-pbrpm.el text/x-lisp root:root 0o644 10.7 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/square-root-2.phx text/x-tex root:root 0o644 7.5 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/README.phox text/plain root:root 0o644 493 bytes
/usr/share/emacs/site-lisp/proofgeneral/acl2/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/acl2/root2.acl2 text/x-lisp root:root 0o644 11.0 KB
/usr/share/emacs/site-lisp/proofgeneral/acl2/x-symbol-acl2.el text/plain root:root 0o644 308 bytes
/usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el text/x-lisp root:root 0o644 2.8 KB
/usr/share/emacs/site-lisp/proofgeneral/acl2/example.acl2 text/plain root:root 0o644 182 bytes
/usr/share/emacs/site-lisp/proofgeneral/acl2/README.acl2 text/plain root:root 0o644 610 bytes
/usr/share/emacs/site-lisp/proofgeneral/twelf/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/twelf/x-symbol-twelf.el text/plain root:root 0o644 312 bytes
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf.el text/x-lisp root:root 0o644 6.7 KB
/usr/share/emacs/site-lisp/proofgeneral/twelf/example.elf text/plain root:root 0o644 1.5 KB
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-old.el application/octet-stream root:root 0o644 105.0 KB
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-font.el text/x-lisp root:root 0o644 16.2 KB
/usr/share/emacs/site-lisp/proofgeneral/twelf/README.twelf text/plain root:root 0o644 837 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/lego/example2.l text/plain root:root 0o644 43 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/x-symbol-lego.el text/plain root:root 0o644 357 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/lego.el text/x-lisp root:root 0o644 15.1 KB
/usr/share/emacs/site-lisp/proofgeneral/lego/root2.l text/plain root:root 0o644 11.7 KB
/usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.el text/x-lisp root:root 0o644 4.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lego/example.l text/plain root:root 0o644 231 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/README.lego text/plain root:root 0o644 993 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/BUGS.lego text/plain root:root 0o644 1.9 KB
/usr/share/emacs/site-lisp/proofgeneral/isa/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/isa/README.isa text/plain root:root 0o644 316 bytes
/usr/share/emacs/site-lisp/proofgeneral/hol98/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/hol98/root2.sml text/plain root:root 0o644 3.7 KB
/usr/share/emacs/site-lisp/proofgeneral/hol98/x-symbol-hol98.el text/plain root:root 0o644 310 bytes
/usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.el text/plain root:root 0o644 5.4 KB
/usr/share/emacs/site-lisp/proofgeneral/hol98/example.sml text/plain root:root 0o644 857 bytes
/usr/share/emacs/site-lisp/proofgeneral/hol98/README.hol98 text/plain root:root 0o644 1.8 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-unicode-tokens.el text/plain root:root 0o644 10.8 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-find-theorems.el text/x-lisp root:root 0o644 16.6 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-mmm.el text/plain root:root 0o644 2.0 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/Example-Xsym.thy text/plain root:root 0o644 805 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-autotest.el text/plain root:root 0o644 1.2 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/isabelle-system.el text/x-lisp root:root 0o644 16.1 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/isar.el application/octet-stream root:root 0o644 22.7 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-syntax.el text/x-lisp root:root 0o644 17.6 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/interface text/x-shellscript root:root 0o755 4.9 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/BUGS.isar text/plain root:root 0o644 778 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/interface-setup.el text/plain root:root 0o644 1.1 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/Root2_Isar.thy text/plain root:root 0o644 5.4 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/Tarski.thy text/plain root:root 0o644 28.3 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/Example.thy text/plain root:root 0o644 700 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/Root2_Tactic.thy text/plain root:root 0o644 2.5 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-keywords.el text/plain root:root 0o644 8.2 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/KnasterTarski.thy text/plain root:root 0o644 3.3 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/x-symbol-isar.el text/x-lisp root:root 0o644 16.3 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/README.isar text/plain root:root 0o644 1.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lclam/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/lclam/lclam.el text/x-lisp root:root 0o644 6.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lclam/example.lcm text/plain root:root 0o644 847 bytes
/usr/share/emacs/site-lisp/proofgeneral/lclam/README.lclam text/plain root:root 0o644 340 bytes
/usr/share/emacs/site-lisp/proofgeneral/ccc/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el text/plain root:root 0o644 3.1 KB
/usr/share/emacs/site-lisp/proofgeneral/ccc/README.ccc text/plain root:root 0o644 498 bytes
/usr/share/emacs/site-lisp/proofgeneral/pgshell/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/pgshell/example.pgsh text/plain root:root 0o644 692 bytes
/usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.el text/plain root:root 0o644 1.2 KB
/usr/share/emacs/site-lisp/proofgeneral/pgshell/README.pgshell text/plain root:root 0o644 721 bytes
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/legotags.1.gz application/gzip root:root 0o644 575 bytes
/usr/share/man/man1/isartags.1.gz application/gzip root:root 0o644 607 bytes
/usr/share/doc/proofgeneral-misc/ root:root 0o755
/usr/share/doc/proofgeneral-misc/copyright text/plain root:root 0o644 684 bytes
/usr/share/doc/proofgeneral-misc/changelog.gz application/gzip root:root 0o644 7.5 KB
/usr/share/doc/proofgeneral-misc/changelog.Debian.gz application/gzip root:root 0o644 2.8 KB
/usr/bin/ root:root 0o755
/usr/bin/legotags text/x-perl root:root 0o755 2.2 KB
/usr/bin/isartags text/x-perl root:root 0o755 2.0 KB