proofgeneral-doc_4.4.1~pre170114-1_all.deb


Advertisement

Description

proofgeneral-doc - generic frontend for proof assistants - documentation

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename proofgeneral-doc_4.4.1~pre170114-1_all.deb
Package name proofgeneral-doc
Package version 4.4.1~pre170114
Package release 1
Package architecture all
Package type deb
Category universe/doc
Homepage https://proofgeneral.github.io/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 655.78 KB
Installed size 1.56 MB
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.4.1~pre170114-1_all.deb 4.4.1~pre170114 all Ubuntu Universe
proofgeneral-doc - - -

Replaces

Name Value
proofgeneral << 4

Download

Type URL
Mirror archive.ubuntu.com
Binary Package proofgeneral-doc_4.4.1~pre170114-1_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/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-sources.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/News-for-Version-4_002e4.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/Proof_002dTree-Visualization.html
/usr/share/doc/proofgeneral-doc/html/Prooftree-Customization.html
/usr/share/doc/proofgeneral-doc/html/Quick-compilation-and-_002evio-Files.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

2017-01-16 - Hendrik Tews <hendrik@askra.de>
proofgeneral (4.4.1~pre170114-1) unstable; urgency=medium
* Imported Upstream version 4.4.1~pre170114
git hash 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899
* fix lintian copyright issue
* add patch fix-coqtags and install coqtags
* add emacsen compat file (Closes: #758968)
* add patch desktop-keyword-entry for desktop-entry-lacks-keywords-entry
lintian warning
* disable StartupWMClass towards a solution of #746466
* fix emacs warning inside emacsen-install
2016-12-30 - Richard B. Kreckel <kreckel@debian.org>
proofgeneral (4.4.1~pre161230-0.1) unstable; urgency=medium
* Non-maintainer upload.
* New upstream release.
* Make package work with emacs24 or emacs25 (Closes: #846990).
* debian/control: Remove ${shlib:Depends} for package proofgeneral.
* Drop debian/menu, following tech-ctte decision on #741573.
* debian/README.Debian: Remove special note about prooftree, which
is now a proper Debian package, and added HOL Light as prover.
* debian/*: Adapt to new upstream home at github.
* debian/patches/:
- drop smartly-enable-prooftree
- restrict-installed-provers.patch: added hol-light as prover
- refresh all others
2014-11-16 - intrigeri <intrigeri@debian.org>
proofgeneral (4.3~pre131011-0.2) unstable; urgency=medium
* Non-maintainer upload.
* Remove {build,runtime} alternative dependencies on emacs23*:
Emacs 23 is not in testing/sid anymore, and sbuild always picks
the first alternative, which made the package FTBFS (Closes: #768619).
2014-08-12 - Hideki Yamane <henrich@debian.org>
proofgeneral (4.3~pre131011-0.1) unstable; urgency=low
* Non-maintainer upload.
* New upstream release
* debian/patches
- drop fix-texinfo-5-1-bug.patch: unnecessary anymore
- drop pg-image-bug.patch: unnecessary (cause FTBFS)
2014-02-15 - Hideki Yamane <henrich@debian.org>
proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium
* Non-maintainer upload.
* debian/control
- add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
(Closes: #738392)
- remove unnecessary "Build-Depends: texi2html" due to transtion
(see https://wiki.debian.org/Texi2htmlTransition)
* debian/patches
- add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
* also update debian/proofgeneral-doc.doc-base to deal with changes with
above
2013-05-15 - Hendrik Tews <hendrik@askra.de>
proofgeneral (4.3~pre130510-1) unstable; urgency=low
* New upstream release (Closes: #707331)
* improve watch file (thanks to Bart Martens for the uversionmangle hint)
* add new patch to install coq example and add hint in tutorial 
(Closes: #687977) 
* add new patch fix-texinfo-5-1-bug to fix a problem with texinfo 5.1
* add new patch pg-image-bug to rename ProofGeneral.jpg
* permit emacs24
* update README.Debian
* bump standards version to 3.9.4
* debhelper compat level 9
2012-12-04 - Hendrik Tews <hendrik@askra.de>
proofgeneral (4.2~pre120605-2) unstable; urgency=low
* add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285)
* delete wrong info in README.Debian
2012-06-06 - Hendrik Tews <hendrik@askra.de>
proofgeneral (4.2~pre120605-1) unstable; urgency=low
* New upstream release (Closes: #669318)
* fix byte-compile-error-on-warn in emacsen-install, --no-site-file has
been dropped already in 4.2~pre120411-2 (Closes: #671583)
* use debian-emacs-flavor in emacsen-startup (see #662163)
* delete patch disable-proof-tree, add patch smartly-enable-prooftree
for enabling prooftree if Coq >= 8.4beta is detected
* fix package description
* add hints on Prooftree and incompatibility with manual Coq
installations to README.Debian
* new patch for using debian-pkg-add-load-path-item (see #670339), but
don't use it, because debian-pkg-add-load-path-item breaks Proof
General, see #676424

See Also

Package Description
proofgeneral_4.4.1~pre170114-1_all.deb generic frontend for proof assistants
prooftree_0.13-1build3_amd64.deb proof-tree visualization for Proof General
proot_5.1.0-1.3_amd64.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_5.6.0-1_amd64.deb property-based host configuration management in haskell
prosody-modules_0.0~hg20190203.b54e98d5c4a1+dfsg-1_all.deb Selection of community modules for Prosody
prosody_0.11.2-1_amd64.deb Lightweight Jabber/XMPP server
prosper_2018.20190227-1_all.deb TeX Live: transitional dummy package
proteinortho_5.16.b+dfsg-1_amd64.deb Detection of (Co-)orthologs in large-scale protein analysis
protobuf-c-compiler_1.3.1-1build1_amd64.deb Protocol Buffers C compiler (protobuf-c)
protobuf-compiler-grpc_1.16.1-1_amd64.deb high performance general RPC framework - protobuf plugin
protobuf-compiler_3.6.1.3-1_amd64.deb compiler for protocol buffer definition files
protoc-gen-yarpc_0.0.1-1_amd64.deb Yet Another RPC for Go - command-line utility
protracker_2.3d.r161-1_amd64.deb Music tracker clone of ProTracker v2.3D for modern computers
prottest_3.4.2+dfsg-3_all.deb selection of best-fit models of protein evolution
Advertisement
Advertisement