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

Thu Dec 31 16:59:03 UTC 2009

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

State-Changed-From-To: feedback->closed
State-Changed-By: linimon
State-Changed-When: Thu Dec 31 16:57:07 UTC 2009
State-Changed-Why: 
Sorry, the maintainer has rejected this patch.  Apparently the upstream
authors no longer support using XEmacs.  It sounds as though you will
have to live with a local patch.

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