[Top][All Lists]

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

Re: Emacs and jEdit

From: Andreas Röhler
Subject: Re: Emacs and jEdit
Date: Tue, 19 Jul 2016 09:08:04 +0200
User-agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.1.0

On 19.07.2016 08:46, Clément Pit--Claudel wrote:
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.

What about the screenshots given? Seems there is not just async creating difficulties.

reply via email to

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