proofgeneral-emacs26 - Generic interface for proof assistants

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly i386
Package filename proofgeneral-emacs26-4.1_14.txz
Package name proofgeneral-emacs26
Package version 4.1
Package release 14
Package architecture i386
Package type txz
Category elisp math
License GPLv2
Download size 706.95 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-emacs26-4.1_14.txz 4.1 amd64 FreeBSD Ports Quarterly
proofgeneral-emacs26 - - -


Name Value
atk = 2.28.1
emacs = 26.1_6,3
gdk-pixbuf2 = 2.36.12
gettext-runtime =
glib = 2.56.3_3,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-emacs26-4.1_14.txz
Source Package math/proofgeneral

Install Howto

Install proofgeneral-emacs26 txz package:

# pkg install proofgeneral-emacs26

See Also

Package Description
proofgeneral-emacs26_canna-4.1_14.txz Generic interface for proof assistants
proofgeneral-emacs27-4.1_14.txz Generic interface for proof assistants
props-1.0_3.txz The OpenLook props application
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.9.1.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
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