[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Beyond release

From: Clément Pit--Claudel
Subject: Re: Beyond release
Date: Mon, 27 Jun 2016 10:18:53 -0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0

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).
AFAICT, Isabelle moved to jEdit because that's what the authors liked 
programming in, 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?

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]