Package - proofgeneral-doc

Primary informations

Download package: http://deb.debian.org/debian/pool/main/p/proofgeneral/proofgeneral-doc_4.5-3_all.deb (Size: 660.1KiB)

Property	Value
Package	proofgeneral-doc
Source	proofgeneral
Version	4.5-3
Installed-Size	1534
Maintainer	Debian Math Team
Architecture	all
Replaces	proofgeneral (<< 4)
Recommends	info-browser | pdf-viewer | www-browser
Suggests	proofgeneral
Breaks	proofgeneral (<< 4)
Description	generic frontend for proof assistants - documentation
Description-md5	cdd14456c76d5e2c98c64600689dd506
Homepage	https://proofgeneral.github.io/
Tag	field::mathematics, made-of::html, role::documentation, suite::emacs, use::checking
Section	doc
Priority	optional
Filename	pool/main/p/proofgeneral/proofgeneral-doc_4.5-3_all.deb
Size	675940
MD5sum	22c575028154ce0c20bd1ea6ff8d7a7b
SHA256	01b533494f45b9a0708a4e73b8d6c8e452f7a81890bf3f98ca55e8ae900124b7

Files in package

• /usr/share/doc-base/proofgeneral-doc.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/html/Active-scripting-buffer.html
• /usr/share/doc/proofgeneral/html/Adding-your-own-keybindings.html
• /usr/share/doc/proofgeneral/html/Advanced-Script-Management-and-Editing.html
• /usr/share/doc/proofgeneral/html/Asserting-across-files.html
• /usr/share/doc/proofgeneral/html/Automatic-Compilation-in-Detail.html
• /usr/share/doc/proofgeneral/html/Automatic-multiple-file-handling.html
• /usr/share/doc/proofgeneral/html/Automatic-processing.html
• /usr/share/doc/proofgeneral/html/Basic-Script-Management.html
• /usr/share/doc/proofgeneral/html/Basic-options.html
• /usr/share/doc/proofgeneral/html/Bugs-and-Enhancements.html
• /usr/share/doc/proofgeneral/html/Changing-faces.html
• /usr/share/doc/proofgeneral/html/Changing-the-name-of-the-coq-project-file.html
• /usr/share/doc/proofgeneral/html/Concept-Index.html
• /usr/share/doc/proofgeneral/html/Configuring-tokens-symbols-and-shortcuts.html
• /usr/share/doc/proofgeneral/html/Coq-Proof-General.html
• /usr/share/doc/proofgeneral/html/Coq_002dspecific-commands.html
• /usr/share/doc/proofgeneral/html/Credits.html
• /usr/share/doc/proofgeneral/html/Current-Limitations.html
• /usr/share/doc/proofgeneral/html/Customizing-Coq-Multiple-File-Support.html
• /usr/share/doc/proofgeneral/html/Customizing-Proof-General.html
• /usr/share/doc/proofgeneral/html/Disabling-the-coq-project-file-mechanism.html
• /usr/share/doc/proofgeneral/html/Display-customization.html
• /usr/share/doc/proofgeneral/html/Document-centred-working.html
• /usr/share/doc/proofgeneral/html/EasyCrypt-Proof-General.html
• /usr/share/doc/proofgeneral/html/EasyCrypt-customizations.html
• /usr/share/doc/proofgeneral/html/EasyCrypt-specific-commands.html
• /usr/share/doc/proofgeneral/html/EasyCrypt-weak_002dcheck-mode.html
• /usr/share/doc/proofgeneral/html/Editing-features.html
• /usr/share/doc/proofgeneral/html/Editing-multiple-proofs.html
• /usr/share/doc/proofgeneral/html/Escaping-script-management.html
• /usr/share/doc/proofgeneral/html/Features-of-Proof-General.html
• /usr/share/doc/proofgeneral/html/Features-of-Prooftree.html
• /usr/share/doc/proofgeneral/html/Finding-available-tokens-shortcuts-and-symbols.html
• /usr/share/doc/proofgeneral/html/Function-Index.html
• /usr/share/doc/proofgeneral/html/Future.html
• /usr/share/doc/proofgeneral/html/Goal_002dsave-sequences.html
• /usr/share/doc/proofgeneral/html/Goals-and-response-faces.html
• /usr/share/doc/proofgeneral/html/Goals-buffer-commands.html
• /usr/share/doc/proofgeneral/html/Graphical-Proof_002dTree-Visualization.html
• /usr/share/doc/proofgeneral/html/Hints-and-Tips.html
• /usr/share/doc/proofgeneral/html/History-of-Proof-General.html
• /usr/share/doc/proofgeneral/html/Holes-feature.html
• /usr/share/doc/proofgeneral/html/How-to-customize.html
• /usr/share/doc/proofgeneral/html/Imenu-and-Speedbar.html
• /usr/share/doc/proofgeneral/html/Indentation-tweaking.html
• /usr/share/doc/proofgeneral/html/Installing-Proof-General-from-sources.html
• /usr/share/doc/proofgeneral/html/Installing-Proof-General.html
• /usr/share/doc/proofgeneral/html/Interrupting-during-trace-output.html
• /usr/share/doc/proofgeneral/html/Introducing-Proof-General.html
• /usr/share/doc/proofgeneral/html/Keystroke-Index.html
• /usr/share/doc/proofgeneral/html/Locked-queue-and-editing-regions.html
• /usr/share/doc/proofgeneral/html/Locking-Ancestors.html
• /usr/share/doc/proofgeneral/html/Maths-menu.html
• /usr/share/doc/proofgeneral/html/Moving-between-Unicode-and-tokens.html
• /usr/share/doc/proofgeneral/html/Multiple-File-Support.html
• /usr/share/doc/proofgeneral/html/News-for-Version-4_002e0.html
• /usr/share/doc/proofgeneral/html/News-for-Version-4_002e1.html
• /usr/share/doc/proofgeneral/html/News-for-Version-4_002e2.html
• /usr/share/doc/proofgeneral/html/News-for-Version-4_002e3.html
• /usr/share/doc/proofgeneral/html/News-for-Version-4_002e4.html
• /usr/share/doc/proofgeneral/html/News-for-Version-4_002e5.html
• /usr/share/doc/proofgeneral/html/Notes-for-syssies.html
• /usr/share/doc/proofgeneral/html/Obtaining-Proof-General.html
• /usr/share/doc/proofgeneral/html/Obtaining-and-Installing.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e0.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e1.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e2.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e3.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e4.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e5.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e6.html
• /usr/share/doc/proofgeneral/html/Old-News-for-3_002e7.html
• /usr/share/doc/proofgeneral/html/Omitting-proofs-for-speed.html
• /usr/share/doc/proofgeneral/html/Opam_002dswitch_002dmode-support.html
• /usr/share/doc/proofgeneral/html/Organization-of-this-manual.html
• /usr/share/doc/proofgeneral/html/Preface.html
• /usr/share/doc/proofgeneral/html/Prerequisites-for-this-manual.html
• /usr/share/doc/proofgeneral/html/Proof-assistant-commands.html
• /usr/share/doc/proofgeneral/html/Proof-scripts.html
• /usr/share/doc/proofgeneral/html/Proof-using-annotations.html
• /usr/share/doc/proofgeneral/html/Proof_002dTree-Visualization.html
• /usr/share/doc/proofgeneral/html/Prooftree-Customization.html
• /usr/share/doc/proofgeneral/html/Quick-and-inconsistent-compilation.html
• /usr/share/doc/proofgeneral/html/Quick-start-guide.html
• /usr/share/doc/proofgeneral/html/References.html
• /usr/share/doc/proofgeneral/html/Retracting-across-files.html
• /usr/share/doc/proofgeneral/html/Script-buffer-faces.html
• /usr/share/doc/proofgeneral/html/Script-buffers.html
• /usr/share/doc/proofgeneral/html/Script-editing-commands.html
• /usr/share/doc/proofgeneral/html/Script-processing-commands.html
• /usr/share/doc/proofgeneral/html/Selecting-suitable-fonts.html
• /usr/share/doc/proofgeneral/html/Setting-the-names-of-binaries.html
• /usr/share/doc/proofgeneral/html/Shell-Proof-General.html
• /usr/share/doc/proofgeneral/html/Showing-Proof-Diffs.html
• /usr/share/doc/proofgeneral/html/Special-layout.html
• /usr/share/doc/proofgeneral/html/Starting-and-Stopping-Proof_002dTree-Visualization.html
• /usr/share/doc/proofgeneral/html/Subterm-Activation-and-Proof-by-Pointing.html
• /usr/share/doc/proofgeneral/html/Summary-of-Proof-General-buffers.html
• /usr/share/doc/proofgeneral/html/Support-for-completion.html
• /usr/share/doc/proofgeneral/html/Support-for-other-Packages.html
• /usr/share/doc/proofgeneral/html/Support-for-outline-mode.html
• /usr/share/doc/proofgeneral/html/Support-for-tags.html
• /usr/share/doc/proofgeneral/html/Supported-proof-assistants.html
• /usr/share/doc/proofgeneral/html/Switching-between-proof-scripts.html
• /usr/share/doc/proofgeneral/html/Syntax-highlighting.html
• /usr/share/doc/proofgeneral/html/Toolbar-commands.html
• /usr/share/doc/proofgeneral/html/Tweaking-configuration-settings.html
• /usr/share/doc/proofgeneral/html/Unicode-Tokens-mode.html
• /usr/share/doc/proofgeneral/html/Unicode-symbols-and-special-layout-support.html
• /usr/share/doc/proofgeneral/html/User-options.html
• /usr/share/doc/proofgeneral/html/User_002dloaded-tactics.html
• /usr/share/doc/proofgeneral/html/Using-abbreviations.html
• /usr/share/doc/proofgeneral/html/Using-file-variables.html
• /usr/share/doc/proofgeneral/html/Using-the-Coq-project-file.html
• /usr/share/doc/proofgeneral/html/Variable-Index.html
• /usr/share/doc/proofgeneral/html/View-of-processed-files.html
• /usr/share/doc/proofgeneral/html/Visibility-of-completed-proofs.html
• /usr/share/doc/proofgeneral/html/Walkthrough-example-in-Isabelle.html
• /usr/share/doc/proofgeneral/html/index.html
• /usr/share/doc/proofgeneral/proofgeneral.pdf
• /usr/share/info/proofgeneral.info.gz