[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?
Clément.
signature.asc
Description: OpenPGP digital signature
- Beyond release, Andreas Röhler, 2016/06/27
- Re: Beyond release,
Clément Pit--Claudel <=
- Re: Beyond release, Andreas Röhler, 2016/06/27
- Re: Beyond release, Clément Pit--Claudel, 2016/06/27
- Re: Beyond release, Dmitry Gutov, 2016/06/27
- Re: Beyond release, Andreas Röhler, 2016/06/27
- Re: Beyond release, Dmitry Gutov, 2016/06/27
- Re: Beyond release, Andreas Röhler, 2016/06/27
- Re: Beyond release, Dmitry Gutov, 2016/06/27
- Re: Beyond release, Andreas Röhler, 2016/06/28
- Re: Beyond release, Dmitry Gutov, 2016/06/28
- Re: Beyond release, Alan Mackenzie, 2016/06/27