proofgeneral-doc_4.3~pre131011-0.2_all.deb


Advertisement

Description

proofgeneral-doc - generic frontend for proof assistants - documentation

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name proofgeneral-doc
Package version 4.3~pre131011
Package release 0.2
Package architecture all
Package type deb
Installed size 2.02 KB
Download size 671.09 KB
Official Mirror ftp.br.debian.org
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers.
This package provides the Proof General user manual in info, html and
pdf form.

Alternatives

Package Version Architecture Repository
proofgeneral-doc_4.3~pre131011-0.2_all.deb 4.3~pre131011 all Debian Main
proofgeneral-doc - - -

Replaces

Name Value
proofgeneral << 4

Download

Type URL
Binary Package proofgeneral-doc_4.3~pre131011-0.2_all.deb
Source Package proofgeneral

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install proofgeneral-doc deb package:
    # sudo apt-get install proofgeneral-doc

Files

Path
/usr/share/doc-base/proofgeneral-user-manual
/usr/share/doc/proofgeneral-doc/changelog.Debian.gz
/usr/share/doc/proofgeneral-doc/changelog.gz
/usr/share/doc/proofgeneral-doc/copyright
/usr/share/doc/proofgeneral-doc/proofgeneral.pdf
/usr/share/doc/proofgeneral-doc/html/Active-scripting-buffer.html
/usr/share/doc/proofgeneral-doc/html/Adding-your-own-keybindings.html
/usr/share/doc/proofgeneral-doc/html/Advanced-Script-Management-and-Editing.html
/usr/share/doc/proofgeneral-doc/html/Asserting-across-files.html
/usr/share/doc/proofgeneral-doc/html/Automatic-Compilation-in-Detail.html
/usr/share/doc/proofgeneral-doc/html/Automatic-multiple-file-handling.html
/usr/share/doc/proofgeneral-doc/html/Automatic-processing.html
/usr/share/doc/proofgeneral-doc/html/Basic-Script-Management.html
/usr/share/doc/proofgeneral-doc/html/Basic-options.html
/usr/share/doc/proofgeneral-doc/html/Bugs-and-Enhancements.html
/usr/share/doc/proofgeneral-doc/html/Changing-faces.html
/usr/share/doc/proofgeneral-doc/html/Changing-the-name-of-the-coq-project-file.html
/usr/share/doc/proofgeneral-doc/html/Choosing-logic-and-starting-isabelle.html
/usr/share/doc/proofgeneral-doc/html/Concept-Index.html
/usr/share/doc/proofgeneral-doc/html/Configuring-tokens-symbols-and-shortcuts.html
/usr/share/doc/proofgeneral-doc/html/Coq-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Coq_002dspecific-commands.html
/usr/share/doc/proofgeneral-doc/html/Credits.html
/usr/share/doc/proofgeneral-doc/html/Current-Limitations.html
/usr/share/doc/proofgeneral-doc/html/Customizing-Coq-Multiple-File-Support.html
/usr/share/doc/proofgeneral-doc/html/Customizing-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Disabling-the-coq-project-file-mechanism.html
/usr/share/doc/proofgeneral-doc/html/Display-customization.html
/usr/share/doc/proofgeneral-doc/html/Document-centred-working.html
/usr/share/doc/proofgeneral-doc/html/Editing-features.html
/usr/share/doc/proofgeneral-doc/html/Editing-multiple-proofs.html
/usr/share/doc/proofgeneral-doc/html/Escaping-script-management.html
/usr/share/doc/proofgeneral-doc/html/Features-of-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Features-of-Prooftree.html
/usr/share/doc/proofgeneral-doc/html/Finding-available-tokens-shortcuts-and-symbols.html
/usr/share/doc/proofgeneral-doc/html/Function-Index.html
/usr/share/doc/proofgeneral-doc/html/Future.html
/usr/share/doc/proofgeneral-doc/html/Goal_002dsave-sequences.html
/usr/share/doc/proofgeneral-doc/html/Goals-and-response-faces.html
/usr/share/doc/proofgeneral-doc/html/Goals-buffer-commands.html
/usr/share/doc/proofgeneral-doc/html/Graphical-Proof_002dTree-Visualization.html
/usr/share/doc/proofgeneral-doc/html/HOL-Light-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Hints-and-Tips.html
/usr/share/doc/proofgeneral-doc/html/History-of-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Holes-feature.html
/usr/share/doc/proofgeneral-doc/html/How-to-customize.html
/usr/share/doc/proofgeneral-doc/html/Imenu-and-Speedbar.html
/usr/share/doc/proofgeneral-doc/html/Installing-Proof-General-from-tarball.html
/usr/share/doc/proofgeneral-doc/html/Installing-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Interrupting-during-trace-output.html
/usr/share/doc/proofgeneral-doc/html/Introducing-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Isabelle-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Isabelle-commands.html
/usr/share/doc/proofgeneral-doc/html/Isabelle-customizations.html
/usr/share/doc/proofgeneral-doc/html/Isabelle-settings.html
/usr/share/doc/proofgeneral-doc/html/Keystroke-Index.html
/usr/share/doc/proofgeneral-doc/html/LEGO-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/LEGO-customizations.html
/usr/share/doc/proofgeneral-doc/html/LEGO-specific-commands.html
/usr/share/doc/proofgeneral-doc/html/LEGO-tags.html
/usr/share/doc/proofgeneral-doc/html/Locked-queue-and-editing-regions.html
/usr/share/doc/proofgeneral-doc/html/Locking-Ancestors.html
/usr/share/doc/proofgeneral-doc/html/Maths-menu.html
/usr/share/doc/proofgeneral-doc/html/Moving-between-Unicode-and-tokens.html
/usr/share/doc/proofgeneral-doc/html/Multiple-File-Support.html
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e0.html
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e1.html
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e2.html
/usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e3.html
/usr/share/doc/proofgeneral-doc/html/Notes-for-syssies.html
/usr/share/doc/proofgeneral-doc/html/Obtaining-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Obtaining-and-Installing.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e0.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e1.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e2.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e3.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e4.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e5.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e6.html
/usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e7.html
/usr/share/doc/proofgeneral-doc/html/Organization-of-this-manual.html
/usr/share/doc/proofgeneral-doc/html/Preface.html
/usr/share/doc/proofgeneral-doc/html/Prerequisites-for-this-manual.html
/usr/share/doc/proofgeneral-doc/html/Proof-assistant-commands.html
/usr/share/doc/proofgeneral-doc/html/Proof-scripts.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_1.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_10.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_11.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_12.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_13.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_14.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_15.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_16.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_17.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_18.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_19.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_2.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_20.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_21.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_22.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_23.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_24.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_3.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_4.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_5.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_6.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_7.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_8.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_9.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_abt.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_fot.html
/usr/share/doc/proofgeneral-doc/html/ProofGeneral_toc.html
/usr/share/doc/proofgeneral-doc/html/Proof_002dTree-Visualization.html
/usr/share/doc/proofgeneral-doc/html/Prooftree-Customization.html
/usr/share/doc/proofgeneral-doc/html/Quick-start-guide.html
/usr/share/doc/proofgeneral-doc/html/References.html
/usr/share/doc/proofgeneral-doc/html/Retracting-across-files.html
/usr/share/doc/proofgeneral-doc/html/Script-buffer-faces.html
/usr/share/doc/proofgeneral-doc/html/Script-buffers.html
/usr/share/doc/proofgeneral-doc/html/Script-editing-commands.html
/usr/share/doc/proofgeneral-doc/html/Script-processing-commands.html
/usr/share/doc/proofgeneral-doc/html/Selecting-suitable-fonts.html
/usr/share/doc/proofgeneral-doc/html/Setting-the-names-of-binaries.html
/usr/share/doc/proofgeneral-doc/html/Shell-Proof-General.html
/usr/share/doc/proofgeneral-doc/html/Special-layout.html
/usr/share/doc/proofgeneral-doc/html/Starting-and-Stopping-Proof_002dTree-Visualization.html
/usr/share/doc/proofgeneral-doc/html/Subterm-Activation-and-Proof-by-Pointing.html
/usr/share/doc/proofgeneral-doc/html/Summary-of-Proof-General-buffers.html
/usr/share/doc/proofgeneral-doc/html/Support-for-completion.html
/usr/share/doc/proofgeneral-doc/html/Support-for-other-Packages.html
/usr/share/doc/proofgeneral-doc/html/Support-for-outline-mode.html
/usr/share/doc/proofgeneral-doc/html/Support-for-tags.html
/usr/share/doc/proofgeneral-doc/html/Supported-proof-assistants.html
/usr/share/doc/proofgeneral-doc/html/Switching-between-proof-scripts.html
/usr/share/doc/proofgeneral-doc/html/Syntax-highlighting.html
/usr/share/doc/proofgeneral-doc/html/Toolbar-commands.html
/usr/share/doc/proofgeneral-doc/html/Tweaking-configuration-settings.html
/usr/share/doc/proofgeneral-doc/html/Unicode-Tokens-mode.html
/usr/share/doc/proofgeneral-doc/html/Unicode-symbols-and-special-layout-support.html
/usr/share/doc/proofgeneral-doc/html/User-options.html
/usr/share/doc/proofgeneral-doc/html/User_002dloaded-tactics.html
/usr/share/doc/proofgeneral-doc/html/Using-abbreviations.html
/usr/share/doc/proofgeneral-doc/html/Using-file-variables.html
/usr/share/doc/proofgeneral-doc/html/Using-the-Coq-project-file.html
/usr/share/doc/proofgeneral-doc/html/Variable-Index.html
/usr/share/doc/proofgeneral-doc/html/View-of-processed-files.html
/usr/share/doc/proofgeneral-doc/html/Visibility-of-completed-proofs.html
/usr/share/doc/proofgeneral-doc/html/Walkthrough-example-in-Isabelle.html
/usr/share/doc/proofgeneral-doc/html/index.html
/usr/share/info/proofgeneral.info.gz

Changelog

See proofgeneral_4.3~pre131011-0.2_all.deb changelog.

See Also

Package Description
proofgeneral_4.3~pre131011-0.2_all.deb generic frontend for proof assistants
prooftree_0.12-1_i386.deb proof-tree visualization for Proof General
proot_4.0.2-1_i386.deb emulate chroot, bind mount and binfmt_misc for non-root users
propaganda-debian_13.5.10_all.deb Propaganda background image volume for Debian
propellor_0.9.1_i386.deb property-based host configuration management in haskell
prosody_0.9.7-2+deb8u4_i386.deb Lightweight Jabber/XMPP server
prosper_1.00.4+cvs.2007.05.01-4_all.deb LaTeX class for writing transparencies
protobuf-c-compiler_1.0.2-1_i386.deb Protocol Buffers C compiler (protobuf-c)
protobuf-compiler_2.6.1-1_i386.deb compiler for protocol buffer definition files
prover9-doc_0.0.200902a-2_all.deb documentation for Prover9 and associated programs
prover9-mace4_0.5.dfsg-2.2_all.deb GUI for Prover9 and Mace4
prover9_0.0.200911a-2.1_i386.deb theorem prover and countermodel generator
proxsmtp_1.10-2.1_i386.deb multi purpose SMTP Proxy
proxychains_3.1-6_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_i386.deb checks existence of open proxy
Advertisement
Advertisement