proofgeneral-misc 3.7-4 / usr / share / emacs / site-lisp / proofgeneral / isa

This file is indexed.

/usr/share/emacs/site-lisp/proofgeneral/isa/ 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/emacs/site-lisp/proofgeneral/isa/README.isa text/plain root:root 0o644 316 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/BUGS.isar text/plain root:root 0o644 778 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/Example-Xsym.thy text/plain root:root 0o644 805 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/Example.thy text/plain root:root 0o644 700 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/KnasterTarski.thy text/plain root:root 0o644 3.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/isar/Root2_Isar.thy text/plain root:root 0o644 5.4 KB
/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/Tarski.thy text/plain root:root 0o644 28.3 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/interface-setup.el text/plain root:root 0o644 1.1 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-autotest.el text/plain root:root 0o644 1.2 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-keywords.el text/plain root:root 0o644 8.2 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/isar-syntax.el text/x-lisp root:root 0o644 17.6 KB
/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.el application/octet-stream root:root 0o644 22.7 KB
/usr/share/emacs/site-lisp/proofgeneral/isar/x-symbol-isar.el text/x-lisp root:root 0o644 16.3 KB

APT Browse - Built by Thomas Orozco.