[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Emacs and jEdit
From: |
Richard Stallman |
Subject: |
Re: Emacs and jEdit |
Date: |
Tue, 19 Jul 2016 00:51:04 -0400 |
[[[ 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?
--
Dr Richard Stallman
President, Free Software Foundation (gnu.org, fsf.org)
Internet Hall-of-Famer (internethalloffame.org)
Skype: No way! See stallman.org/skype.html.
- Emacs and jEdit, Andreas Röhler, 2016/07/18
- Re: Emacs and jEdit, Kaushal Modi, 2016/07/18
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/18
- Re: Emacs and jEdit,
Richard Stallman <=
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/19
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/19
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit, Stefan Monnier, 2016/07/19
- Re: Emacs and jEdit, Richard Stallman, 2016/07/19