[Top][All Lists]

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

Re: Emacs and jEdit

From: Clément Pit--Claudel
Subject: Re: Emacs and jEdit
Date: Tue, 19 Jul 2016 08:46:28 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0

On 2016-07-19 06:51, Richard Stallman wrote:
> [[[ To any NSA and FBI agents reading my email: please consider    ]]]
> [[[ whether defending the US Constitution against all enemies,     ]]]
> [[[ foreign or domestic, requires you to follow Snowden's example. ]]]
>   > Huh?  Isabelle/HOL developed a fancier protocol/interface for its
>   > various IDEs.
> Is there a fundamental difficulty in making Emacs support that protocol,
> or is it just a matter of work?

Nothing fundamental; just a matter of work (plus the fact that async stuff in 
Emacs isn't that easy).
But really, Isabelle is a bad example here: the lead developer of that protocol 
also works/worked on jEdit.


Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

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