proofgeneral-emacs27 - Generic interface for proof assistants

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename proofgeneral-emacs27-4.1_14.txz
Package name proofgeneral-emacs27
Package version 4.1
Package release 14
Package architecture amd64
Package type txz
Category elisp math
License GPLv2
Download size 707.34 KB
Installed size 4.28 MB
Proof General is a generic interface for proof assistants, currently
based on the customizable text editor Emacs. It works with either
XEmacs or GNU Emacs. A new Eclipse-based version is in development.
This is described separately at
Proof General has been developed at the LFCS in the University of
Edinburgh. It is distributed under the conditions of the GNU General
Public License.
There is a mailing list:
- DOCS: on
Please register your interest in this software before use:
To load Proof General automatically when starting x/emacs, add the following
line to the .emacs or .xemacs/init.el file:
(load-file "/usr/local/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")


Package Version Architecture Repository
proofgeneral-emacs27-4.1_14.txz 4.1 i386 FreeBSD Ports Quarterly
proofgeneral-emacs27-4.1_14.txz 4.1 amd64 FreeBSD Ports Quarterly
proofgeneral-emacs27-4.1_14.txz 4.1 i386 FreeBSD Ports Latest
proofgeneral-emacs27 - - -


Name Value
atk = 2.28.1
emacs-devel =,2
gdk-pixbuf2 = 2.36.12
gettext-runtime =
glib = 2.56.3_4,1
gtk-update-icon-cache = 2.24.32
hicolor-icon-theme = 0.17
indexinfo = 0.3.1
pango = 1.42.4_1
perl5 = 5.28.1_1


Type URL
Binary Package proofgeneral-emacs27-4.1_14.txz
Source Package math/proofgeneral

Install Howto

Install proofgeneral-emacs27 txz package:

# pkg install proofgeneral-emacs27

See Also

Package Description
prosearch-0.19.4_10.txz Powerful file search
prosody-0.11.2_2.txz Simple extensible XMPP server written in Lua
prosody-modules-20180216.txz Prosody modules repository snapshot
protobuf-3.9.2,1.txz Data interchange format library
protobuf-c-1.3.2_3.txz Code generator and libraries to use Protocol Buffers from pure C
protobuf-java-3.10.0.txz Core Protocol Buffers library
protobuf25-2.5.0_5.txz Data interchange format library
protomol-2.0.3_14.txz OO, component based, framework for molecular dynamics (MD) simulations
protonvpn-cli-1.1.2_1.txz ProtonVPN Command line tool
protovis-3.3.1.txz JavaScript graphical toolkit for data visualization
protozero-1.6.8.txz Minimalist protocol buffer decoder and encoder in C++
protracker-2.3d.r191.txz Amiga ProTracker clone
proxsmtp-1.10_2.txz Flexible SMTP filter which can act also as transparent proxy
proxy-connect-100.txz Command to make network connections via SOCKS and HTTPS proxies
proxy-suite- The SuSE Proxy-Suite, a set of programs to enhance firewall security