diff options
| author | mezz <mezz@df743ca5-7f9a-e211-a948-0013205c9059> | 2007-07-30 07:03:43 +0800 |
|---|---|---|
| committer | mezz <mezz@df743ca5-7f9a-e211-a948-0013205c9059> | 2007-07-30 07:03:43 +0800 |
| commit | 63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00 (patch) | |
| tree | 1a7c4cb9c563101fbfdd47f1c0034389f8312d34 /math/proofgeneral/pkg-descr | |
| parent | 363fae18ed1f97c352e334bf391808247186dcb8 (diff) | |
| download | marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.gz marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.bz2 marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.lz marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.xz marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.zst marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.zip | |
share/gnome/ -> share/.
git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@9265 df743ca5-7f9a-e211-a948-0013205c9059
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 000000000..6d67212ab --- /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 |