proofgeneral-misc 3.7-4 in ubuntu - precise / universe

About

This package is 138.8 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/proofgeneral/proofgeneral-misc_3.7-4_all.deb .

View its full control file here: debian/control.

Description

generic interface for proof assistants - theorem provers support

Relations

This package depends on: proofgeneral.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

proofgeneral-misc 3.7-4 is in ubuntu - precise / universe. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/isartags text/x-perl root:root 0o755 2.0 KB
/usr/bin/legotags text/x-perl root:root 0o755 2.2 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/proofgeneral-misc/ root:root 0o755
/usr/share/doc/proofgeneral-misc/changelog.Debian.gz application/gzip root:root 0o644 2.8 KB
/usr/share/doc/proofgeneral-misc/changelog.gz application/gzip root:root 0o644 7.5 KB
/usr/share/doc/proofgeneral-misc/copyright text/plain root:root 0o644 684 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/acl2/ root:root 0o755
/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/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/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/hol98/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/hol98/example.sml text/plain root:root 0o644 857 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/README.hol98 text/plain root:root 0o644 1.8 KB
/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/isa/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/isar/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/isar/BUGS.isar text/plain root:root 0o644 778 bytes
/usr/share/emacs/site-lisp/proofgeneral/isa/README.isa text/plain root:root 0o644 316 bytes
/usr/share/emacs/site-lisp/proofgeneral/isar/Example.thy text/plain root:root 0o644 700 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/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.el application/octet-stream root:root 0o644 22.7 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/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/x-symbol-isar.el text/x-lisp root:root 0o644 16.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lclam/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/lclam/example.lcm text/plain root:root 0o644 847 bytes
/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/README.lclam text/plain root:root 0o644 340 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/lego/BUGS.lego text/plain root:root 0o644 1.9 KB
/usr/share/emacs/site-lisp/proofgeneral/lego/example2.l text/plain root:root 0o644 43 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/example.l text/plain root:root 0o644 231 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/lego-syntax.el text/x-lisp root:root 0o644 4.3 KB
/usr/share/emacs/site-lisp/proofgeneral/lego/README.lego text/plain root:root 0o644 993 bytes
/usr/share/emacs/site-lisp/proofgeneral/lego/root2.l text/plain root:root 0o644 11.7 KB
/usr/share/emacs/site-lisp/proofgeneral/lego/x-symbol-lego.el text/plain root:root 0o644 357 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/emacs/site-lisp/proofgeneral/phox/ root:root 0o755
/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/phox-font.el text/x-lisp root:root 0o644 3.3 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-lang.el text/x-lisp root:root 0o644 1.5 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-pbrpm.el text/x-lisp root:root 0o644 10.7 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-tags.el text/x-lisp root:root 0o644 3.5 KB
/usr/share/emacs/site-lisp/proofgeneral/phox/README.pbrpm text/plain root:root 0o644 628 bytes
/usr/share/emacs/site-lisp/proofgeneral/phox/README.phox text/plain root:root 0o644 493 bytes
/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/x-symbol-phox.el text/x-lisp root:root 0o644 7.6 KB
/usr/share/emacs/site-lisp/proofgeneral/twelf/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/twelf/example.elf text/plain root:root 0o644 1.5 KB
/usr/share/emacs/site-lisp/proofgeneral/twelf/README.twelf text/plain root:root 0o644 837 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/twelf-font.el text/x-lisp root:root 0o644 16.2 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/x-symbol-twelf.el text/plain root:root 0o644 312 bytes
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/isartags.1.gz application/gzip root:root 0o644 607 bytes
/usr/share/man/man1/legotags.1.gz application/gzip root:root 0o644 575 bytes

APT Browse - Built by Thomas Orozco.