Re: Emacs and jEdit

[Clément Pit--Claudel]

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.

Clément.

signature.asc
Description: OpenPGP digital signature