proofgeneral-emacs26-4.1_14.txz


Advertisement

Description

proofgeneral-emacs26 - Generic interface for proof assistants

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename proofgeneral-emacs26-4.1_14.txz
Package name proofgeneral-emacs26
Package version 4.1
Package release 14
Package architecture amd64
Package type txz
Category elisp math
Homepage http://proofgeneral.inf.ed.ac.uk
License GPLv2
Maintainer beyert@cs.ucr.edu
Download size 707.18 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 http://proofgeneral.inf.ed.ac.uk/kit/wiki.
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:
http://proofgeneral.inf.ed.ac.uk/mailinglist
WWW: http://proofgeneral.inf.ed.ac.uk
Options:
- DOCS: on
Please register your interest in this software before use:
http://proofgeneral.inf.ed.ac.uk/register
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")
install

Alternatives

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

Requires

Name Value
atk = 2.28.1
emacs = 26.3,3
gdk-pixbuf2 = 2.38.1
gettext-runtime = 0.20.1
glib = 2.56.3_6,1
gtk-update-icon-cache = 2.24.32
hicolor-icon-theme = 0.17
indexinfo = 0.3.1
pango = 1.42.4_3
perl5 = 5.30.0

Download

Type URL
Mirror pkg.freebsd.org
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
prosearch-0.19.4_10.txz Powerful file search
prosody-0.11.2_2.txz Simple extensible XMPP server written in Lua
prosody-modules-20191017.txz Prosody Community 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
Advertisement
Advertisement