proofgeneral_4.3~pre131011-0.2_all.deb


Advertisement

Description

proofgeneral - generic frontend for proof assistants

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe amd64
Package name: proofgeneral
Package version: 4.3~pre131011
Package release: 0.2
Package architecture: all
Package type: deb
Installed size: 1.64 KB
Download size: 355.74 KB
Official Mirror: archive.ubuntu.com
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 Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)

Alternatives

Conflicts

  • proofgeneral-coq
  • proofgeneral-minlog
  • proofgeneral-misc

Replaces

  • proofgeneral-coq
  • proofgeneral-misc

    Download

    Source package: proofgeneral

    Install Howto

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

    Files

    • /etc/emacs/site-start.d/50proofgeneral.el
    • /usr/bin/proofgeneral
    • /usr/lib/emacsen-common/packages/install/proofgeneral
    • /usr/lib/emacsen-common/packages/remove/proofgeneral
    • /usr/share/application-registry/proofgeneral.applications
    • /usr/share/applications/proofgeneral.desktop
    • /usr/share/doc/proofgeneral/AUTHORS
    • /usr/share/doc/proofgeneral/BUGS
    • /usr/share/doc/proofgeneral/COMPATIBILITY
    • /usr/share/doc/proofgeneral/FAQ.gz
    • /usr/share/doc/proofgeneral/README
    • /usr/share/doc/proofgeneral/README.Debian
    • /usr/share/doc/proofgeneral/REGISTER
    • /usr/share/doc/proofgeneral/changelog.Debian.gz
    • /usr/share/doc/proofgeneral/copyright
    • /usr/share/doc/proofgeneral/examples/coq_example.v
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie-lexer.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el
    • /usr/share/emacs/site-lisp/proofgeneral/coq/coq.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el
    • /usr/share/emacs/site-lisp/proofgeneral/generic/proof.el
    • /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-image.gif
    • /usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-image.jpg
    • /usr/share/emacs/site-lisp/proofgeneral/images/README
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png
    • /usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm
    • /usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/holes.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/span.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el
    • /usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el
    • /usr/share/icons/hicolor/16x16/proofgeneral.png
    • /usr/share/icons/hicolor/32x32/proofgeneral.png
    • /usr/share/icons/hicolor/48x48/proofgeneral.png
    • /usr/share/man/man1/proofgeneral.1.gz
    • /usr/share/menu/proofgeneral
    • /usr/share/mime-info/proofgeneral.keys
    • /usr/share/mime-info/proofgeneral.mime
    • /usr/share/pixmaps/proofgeneral.png

    Changelog

    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

    2012-04-25 - Hendrik Tews <hendrik@askra.de> proofgeneral (4.2~pre120411-2) unstable; urgency=low * link el files into ELCDIR (Closes: #670341) * link image files in emacsen-install * fix flavor in emacsen-startup (see #662163)

    2012-04-21 - Hendrik Tews <hendrik@askra.de> proofgeneral (4.2~pre120411-1) unstable; urgency=low * New upstream release * remove 3 patches that have been applied upstream

    2012-02-28 - Hendrik Tews <hendrik@askra.de> proofgeneral (4.2~pre120206-1) unstable; urgency=low * new upstream prerelease (Closes: #642048) * moved to section editors * standards version 3.9.3 * fix compilation with emacs-nox (Closes: #660353) * don't support broken PhoX anymore (Closes: #544436)

    Advertisement
    Advertisement