[reposting with the good e-mail address for the list…] ----- Forwarded message from Erik Martin-Dorel <erik.martin-do...@irit.fr> -----
> Date: Wed, 28 Nov 2018 21:35:08 +0100 > From: Erik Martin-Dorel <erik.martin-do...@irit.fr> > To: Stefan Monnier <monn...@iro.umontreal.ca> > Cc: ProofGeneral Development <proofgeneral-devel@inf.ed.ac.uk> > Subject: Re: [PG-devel] Supported version of Emacs > > Dear Stefan, > > On Wednesday, November 28, 2018 21:15 CET, Stefan Monnier > <monn...@iro.umontreal.ca> wrote: > > I'm consider sending patches that change the code to take advantage of > > features from newer Emacsen (such as lexical-binding) > > Great! > > > but am wondering what's the "target" supported version. > > > > In the `master` branch (PG-4.5), it is claimed that it should work under > > Emacs-24.3 whereas in the `async` branch (PG-5.0) it says 24.4. > > > > On the surface this makes sense if we assume that `master` is legacy > > code that's in pure-maintenance mode. But I also see that `async` is > > based on PG-4.4.1 which said that it needed Emacs-24.4, and the `async` > > branch has not integrated the more recent changes to `master`, including > > those which apparently make it work under 24.3. > > > > So is the plan to merge the changes from `master` back into `async` > > Yes, exactly. `master` is still the mainline branch to integrate new PRs > while the nextgen implementation available in `async` is still in alpha phase. > We'd specifically want to keep support of Emacs 24.3 for the moment because > this is still the version of the emacs24 package distributed in Ubuntu 14.04 > LTS: > https://packages.ubuntu.com/search?keywords=emacs24 > Thus, 24.3 is also the version required in the proof-general package we have > recently proposed in MELPA (https://melpa.org/#/proof-general) > Anyway, thanks for pointing out this emacs version mismatch between the > branches, it should indeed be solved the next time we merge `master` in > `async`. > > > (that would seem to make a lot of sense to me), and if so does that mean > > that `async` will want to work under Emacs-24.3 (and hence that in my > > patches I should try to avoid features that were introduced in 24.4)? > > Yes if possible, that would be great! > > Kind regards, > > Erik ----- End forwarded message ----- -- Érik Martin-Dorel, PhD Maître de Conférences, Lab. IRIT, Univ. Toulouse 3 erik.martin-do...@irit.fr erik.martin-do...@ens-lyon.org https://www.irit.fr/~Erik.Martin-Dorel _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
