proofgeneral-emacs27-4.1_14.txz


Advertisement

Description

proofgeneral-emacs27 - Generic interface for proof assistants

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly i386
Package filename proofgeneral-emacs27-4.1_14.txz
Package name proofgeneral-emacs27
Package version 4.1
Package release 14
Package architecture i386
Package type txz
Category elisp math
Homepage http://proofgeneral.inf.ed.ac.uk
License GPLv2
Maintainer beyert@cs.ucr.edu
Download size 707.14 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")
------------------------------------------------------------------------------

Alternatives

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

Requires

Name Value
atk = 2.28.1
emacs-devel = 27.0.50.20190313,2
gdk-pixbuf2 = 2.36.12
gettext-runtime = 0.19.8.1_2
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

Download

Type URL
Mirror pkg.freebsd.org
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
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
proxy-connect-100.txz Command to make network connections via SOCKS and HTTPS proxies
proxy-suite-1.9.2.4_3.txz The SuSE Proxy-Suite, a set of programs to enhance firewall security
Advertisement
Advertisement