Re: Beyond release

["Andreas Röhler" <andreas.roehler@online.de>]

On 27.06.2016 16:18, Clément Pit--Claudel wrote:
> On 2016-06-27 05:58, Andreas Röhler wrote:
>> To make clear, that's not just a personal view, please consider the
>> withdraw of advanced and promising theorem prover Isabelle/HOL, which
>> doesn't longer support Emacs, while relying on it before. BTW that
>> withdraw was in time, before John took over and AFAIU caused by a
>> policy, which hopefully is abandoned now.
> I think that's an incorrect characterisation (see statements that Makarius made on the Proof General mailing list).

That's where my conclusions are from. Any precise spot to tell otherwise?

> AFAICT, Isabelle moved to jEdit because that's what the authors liked programming in

That's interesting. Maybe that would also worth being reflected. So 
extending in Java should be easier than in Emacs Lisp? How could it came 
to this?


> , and because they didn't particularly care about Emacs support — which did cause some frustration in the Isabelle community, btw.
>
> What elements make you think Emacs policies had anything to do with it?

There are several. Think alone the matter of slowness, mentioned again 
and again in bug-reports and development. AFAIU these slowness is caused 
by bugs and design flaws, not by Emacs Lisp as such. The introduction of 
circular dependencies WRT syntax-ppss probably deserves being mentioned 
in this context. Propertize functions are encouraged to call syntax-ppss 
while syntax-ppss itself propertizes.