ports/142064: add option to port: math/isabelle (turn on/off Emacs packages)

[edwin at FreeBSD.org]

Synopsis: add option to port: math/isabelle (turn on/off Emacs packages)

State-Changed-From-To: open->feedback
State-Changed-By: edwin
State-Changed-When: Sun Dec 27 04:30:15 UTC 2009
State-Changed-Why: 
Awaiting maintainers feedback (via the GNATS Auto Assign Tool)

http://www.freebsd.org/cgi/query-pr.cgi?pr=142064