Bug 30394

Summary:	New ebuild: ProofGeneral, a proof assistant mode for emacs
Product:	Gentoo Linux	Reporter:	Matthieu Sozeau (RETIRED) <mattam>
Component:	New packages	Assignee:	Emacs project <emacs>
Status:	RESOLVED FIXED
Severity:	enhancement	Keywords:	EBUILD
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://www.proofgeneral.org
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	ebuild package ProofGeneral-3.4.ebuild 50proofgeneral-gentoo.el

Description Matthieu Sozeau (RETIRED) gentoo-dev

2003-10-05 07:53:01 UTC

(From homepage)
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.

The ebuild should go in app-emacs/ (not tested with XEmacs yet).

Comment 1 Matthieu Sozeau (RETIRED) gentoo-dev

2003-10-05 07:54:42 UTC

Created attachment 18785 [details]
ebuild package

The tarball contains an ebuild for version 3.4 of ProofGeneral and a site
file
for the major mode.

Comment 2 Matthieu Sozeau (RETIRED) gentoo-dev

2003-10-05 07:55:17 UTC

added EBUILD keyword

Comment 3 Matthieu Sozeau (RETIRED) gentoo-dev

2003-10-05 15:29:56 UTC

Created attachment 18805 [details]
ProofGeneral-3.4.ebuild

Fix my bad habit of putting tarball on bugzilla

Comment 4 Matthieu Sozeau (RETIRED) gentoo-dev

2003-10-05 15:30:19 UTC

Created attachment 18806 [details]
50proofgeneral-gentoo.el

Comment 5 Matthew Kennedy (RETIRED) gentoo-dev

2003-10-06 02:38:24 UTC

cool

Comment 6 Matthieu Sozeau (RETIRED) gentoo-dev

2004-01-21 13:33:15 UTC

Commite this version in CVS.