Package proofgeneral-3.7pre070819-1
| System | Binary Distributions | CVS/rsync Source Distributions | |
|---|---|---|---|
 stable | unstable | ||
10.5/i386 | |||
10.5/powerpc | |||
10.4/i386 | |||
10.4/powerpc | |||
10.3 | |||
10.2 (gcc3.3 only) * | |||
| Description: | Emacs-based interface for proof assistants (3.7pre070819-1) | |
 | ||
Proof General is a generic interface for proof assistants, based on the
customizable text editor Emacs. It works with either XEmacs or GNU Emacs.
(If you don't know Emacs, the Emacs Wiki is helpful). | ||
| ||
| Usage Hints: | ||
| ||
Put this line in your .emacs file:
(load-file "/sw/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")
If you prefer not to edit .emacs, you can use the script in
bin/proofgeneral to launch Emacs with Proof General loaded. | ||
| ||
| Section: | editors | |
| ||
| Maintainer: | John Ridgway <ridgwayATusersDOTsourceforgeDOTnet> | |
| ||
| Website: | http://proofgeneral.inf.ed.ac.uk/ | |
| ||
| License: | GPL | |
| ||
| Info-File: | dists/10.4/unstable/main/finkinfo/editors/proofgeneral.info CVS log, Last Changed: Fri, 14 Dec 2007 04:17:54 (UTC) | |
Section list - Flat package list - Search packages
(*) = Unsupported distribution.