> I'd like to support Emacs 24 properly although there are API updates which
> are tricky to support in two versions --- esp when the rightly increasingly
> rigorous byte compiler tries to compile code for old versions and barfs.

I can probably help in this area, except that I do not know the concrete
problems that need fixing.  If you can send me some details, I can take
a look at it.

ProofGeneral-devel mailing list

Reply via email to