On Tue, Jul 17, 2012 at 11:51 AM, Bill Nottingham <notting@xxxxxxxxxx> wrote: > Package emacs-common-proofgeneral (fails to build) Since coq (which I maintain) needs this, I updated it to the latest upstream version and rebuilt. Upstream has dropped support for XEmacs in the latest releases, which means I'll have to drop XEmacs support from coq, too. That's kind of a bummer for me, since I'm an XEmacs developer. -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
