Bug 30394 – New ebuild: ProofGeneral, a proof assistant mode for emacs

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Matthieu Sozeau (RETIRED) 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) 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) 2003-10-05 07:55:17 UTC]

added EBUILD keyword

[Comment 3 Matthieu Sozeau (RETIRED) 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) 2003-10-05 15:30:19 UTC]

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

[Comment 5 Matthew Kennedy (RETIRED) 2003-10-06 02:38:24 UTC]

cool

[Comment 6 Matthieu Sozeau (RETIRED) 2004-01-21 13:33:15 UTC]

Commite this version in CVS.