About

This package is 671.1 KB. It is available at http://ftp.debian.org/debian/pool/main/p/proofgeneral/proofgeneral-doc_4.3~pre131011-0.2_all.deb .

View its full control file here: debian/control.

Description

generic frontend for proof assistants - documentation

Relations

This package does not depend on any other package.

This package recommends: info-browser | pdf-viewer | www-browser.

This package suggests: proofgeneral.

This package does not conflict with any other package.

Package Contents

This package is indexed.

proofgeneral-doc 4.3~pre131011-0.2 is in debian - jessie / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/proofgeneral-user-manual text/plain root:root 0o644 411 bytes
/usr/share/doc/proofgeneral-doc/ root:root 0o755
/usr/share/doc/proofgeneral-doc/changelog.Debian.gz application/gzip root:root 0o644 4.3 KB
/usr/share/doc/proofgeneral-doc/changelog.gz application/gzip root:root 0o644 5.6 KB
/usr/share/doc/proofgeneral-doc/copyright text/plain root:root 0o644 22.3 KB
/usr/share/doc/proofgeneral-doc/html/ root:root 0o755
/usr/share/doc/proofgeneral-doc/html/Active-scripting-buffer.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Adding-your-own-keybindings.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Advanced-Script-Management-and-Editing.html text/html root:root 0o644 29.3 KB
/usr/share/doc/proofgeneral-doc/html/Asserting-across-files.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Automatic-Compilation-in-Detail.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Automatic-multiple-file-handling.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Automatic-processing.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Basic-options.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Basic-Script-Management.html text/html root:root 0o644 50.9 KB
/usr/share/doc/proofgeneral-doc/html/Bugs-and-Enhancements.html text/html root:root 0o644 6.7 KB
/usr/share/doc/proofgeneral-doc/html/Changing-faces.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Changing-the-name-of-the-coq-project-file.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Choosing-logic-and-starting-isabelle.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Concept-Index.html text/html root:root 0o644 55.7 KB
/usr/share/doc/proofgeneral-doc/html/Configuring-tokens-symbols-and-shortcuts.html text/html root:root 0o644 4.7 KB
/usr/share/doc/proofgeneral-doc/html/Coq_002dspecific-commands.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Coq-Proof-General.html text/html root:root 0o644 41.7 KB
/usr/share/doc/proofgeneral-doc/html/Credits.html text/html root:root 0o644 4.4 KB
/usr/share/doc/proofgeneral-doc/html/Current-Limitations.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Customizing-Coq-Multiple-File-Support.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Customizing-Proof-General.html text/html root:root 0o644 37.6 KB
/usr/share/doc/proofgeneral-doc/html/Disabling-the-coq-project-file-mechanism.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Display-customization.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Document-centred-working.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Editing-features.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Editing-multiple-proofs.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Escaping-script-management.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Features-of-Proof-General.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Features-of-Prooftree.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Finding-available-tokens-shortcuts-and-symbols.html text/html root:root 0o644 4.7 KB
/usr/share/doc/proofgeneral-doc/html/Function-Index.html text/html root:root 0o644 28.8 KB
/usr/share/doc/proofgeneral-doc/html/Future.html text/html root:root 0o644 4.4 KB
/usr/share/doc/proofgeneral-doc/html/Goal_002dsave-sequences.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Goals-and-response-faces.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Goals-buffer-commands.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Graphical-Proof_002dTree-Visualization.html text/html root:root 0o644 10.6 KB
/usr/share/doc/proofgeneral-doc/html/Hints-and-Tips.html text/html root:root 0o644 14.8 KB
/usr/share/doc/proofgeneral-doc/html/History-of-Proof-General.html text/html root:root 0o644 22.1 KB
/usr/share/doc/proofgeneral-doc/html/Holes-feature.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/HOL-Light-Proof-General.html text/html root:root 0o644 7.5 KB
/usr/share/doc/proofgeneral-doc/html/How-to-customize.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Imenu-and-Speedbar.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/index.html text/html root:root 0o644 5.7 KB
/usr/share/doc/proofgeneral-doc/html/Installing-Proof-General-from-tarball.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Installing-Proof-General.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Interrupting-during-trace-output.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Introducing-Proof-General.html text/html root:root 0o644 21.3 KB
/usr/share/doc/proofgeneral-doc/html/Isabelle-commands.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Isabelle-customizations.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Isabelle-Proof-General.html text/html root:root 0o644 16.3 KB
/usr/share/doc/proofgeneral-doc/html/Isabelle-settings.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Keystroke-Index.html text/html root:root 0o644 20.9 KB
/usr/share/doc/proofgeneral-doc/html/LEGO-customizations.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/LEGO-Proof-General.html text/html root:root 0o644 9.2 KB
/usr/share/doc/proofgeneral-doc/html/LEGO-specific-commands.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/LEGO-tags.html text/html root:root 0o644 4.4 KB
/usr/share/doc/proofgeneral-doc/html/Locked-queue-and-editing-regions.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Locking-Ancestors.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Maths-menu.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Moving-between-Unicode-and-tokens.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Multiple-File-Support.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e0.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e1.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e2.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e3.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Notes-for-syssies.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Obtaining-and-Installing.html text/html root:root 0o644 12.4 KB
/usr/share/doc/proofgeneral-doc/html/Obtaining-Proof-General.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e0.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e1.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e2.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e3.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e4.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e5.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e6.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e7.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Organization-of-this-manual.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Preface.html text/html root:root 0o644 14.1 KB
/usr/share/doc/proofgeneral-doc/html/Prerequisites-for-this-manual.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Proof_002dTree-Visualization.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Proof-assistant-commands.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_10.html text/html root:root 0o644 16.1 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_11.html text/html root:root 0o644 10.5 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_12.html text/html root:root 0o644 45.1 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_13.html text/html root:root 0o644 17.9 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_14.html text/html root:root 0o644 8.2 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_15.html text/html root:root 0o644 7.9 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_16.html text/html root:root 0o644 14.2 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_17.html text/html root:root 0o644 7.4 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_18.html text/html root:root 0o644 7.4 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_19.html text/html root:root 0o644 24.3 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_1.html text/html root:root 0o644 16.0 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_20.html text/html root:root 0o644 26.8 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_21.html text/html root:root 0o644 23.8 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_22.html text/html root:root 0o644 20.2 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_23.html text/html root:root 0o644 34.4 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_24.html text/html root:root 0o644 12.2 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_2.html text/html root:root 0o644 22.9 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_3.html text/html root:root 0o644 53.0 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_4.html text/html root:root 0o644 31.6 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_5.html text/html root:root 0o644 26.6 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_6.html text/html root:root 0o644 17.9 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_7.html text/html root:root 0o644 10.7 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_8.html text/html root:root 0o644 12.0 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_9.html text/html root:root 0o644 40.0 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_abt.html text/html root:root 0o644 7.8 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_fot.html text/html root:root 0o644 7.1 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral.html text/html root:root 0o644 10.1 KB
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_toc.html text/html root:root 0o644 21.8 KB
/usr/share/doc/proofgeneral-doc/html/Proof-scripts.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Prooftree-Customization.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Quick-start-guide.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/References.html text/html root:root 0o644 6.8 KB
/usr/share/doc/proofgeneral-doc/html/Retracting-across-files.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Script-buffer-faces.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Script-buffers.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Script-editing-commands.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Script-processing-commands.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Selecting-suitable-fonts.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Setting-the-names-of-binaries.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Shell-Proof-General.html text/html root:root 0o644 7.2 KB
/usr/share/doc/proofgeneral-doc/html/Special-layout.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Starting-and-Stopping-Proof_002dTree-Visualization.html text/html root:root 0o644 4.7 KB
/usr/share/doc/proofgeneral-doc/html/Subterm-Activation-and-Proof-by-Pointing.html text/html root:root 0o644 9.7 KB
/usr/share/doc/proofgeneral-doc/html/Summary-of-Proof-General-buffers.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Supported-proof-assistants.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Support-for-completion.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Support-for-other-Packages.html text/html root:root 0o644 16.2 KB
/usr/share/doc/proofgeneral-doc/html/Support-for-outline-mode.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Support-for-tags.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Switching-between-proof-scripts.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Syntax-highlighting.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Toolbar-commands.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Tweaking-configuration-settings.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Unicode-symbols-and-special-layout-support.html text/html root:root 0o644 24.3 KB
/usr/share/doc/proofgeneral-doc/html/Unicode-Tokens-mode.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/User_002dloaded-tactics.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/User-options.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Using-abbreviations.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Using-file-variables.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Using-the-Coq-project-file.html text/html root:root 0o644 4.5 KB
/usr/share/doc/proofgeneral-doc/html/Variable-Index.html text/html root:root 0o644 24.6 KB
/usr/share/doc/proofgeneral-doc/html/View-of-processed-files.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Visibility-of-completed-proofs.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/html/Walkthrough-example-in-Isabelle.html text/html root:root 0o644 4.6 KB
/usr/share/doc/proofgeneral-doc/proofgeneral.pdf application/pdf root:root 0o644 496.1 KB
/usr/share/info/ root:root 0o755
/usr/share/info/proofgeneral.info.gz application/gzip root:root 0o644 70.0 KB