diff options
| author | Simon Barner <barner@FreeBSD.org> | 2005-08-31 10:36:36 +0000 |
|---|---|---|
| committer | Simon Barner <barner@FreeBSD.org> | 2005-08-31 10:36:36 +0000 |
| commit | f6925bfda8fa5d2210b99b27e56627b190c0cca9 (patch) | |
| tree | ca3da9d2b0641bd54a5bb5829c60a043ecb64387 /math/proofgeneral/pkg-descr | |
| parent | 67a6d6e2b98bd8a48f3ca7a8db183cac1e414aca (diff) | |
| download | ports-f6925bfda8fa5d2210b99b27e56627b190c0cca9.tar.gz ports-f6925bfda8fa5d2210b99b27e56627b190c0cca9.zip | |
Notes
Diffstat (limited to 'math/proofgeneral/pkg-descr')
| -rw-r--r-- | math/proofgeneral/pkg-descr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/math/proofgeneral/pkg-descr b/math/proofgeneral/pkg-descr new file mode 100644 index 000000000000..6d67212ab46e --- /dev/null +++ b/math/proofgeneral/pkg-descr @@ -0,0 +1,13 @@ +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 |