在 Isabelle (2020) 理论文件中输入证明陈述，例如 <pre><code>from ‹prime p › have p: &#34;1 &lt; p &#34; </code></pr

背景：JEdit(和其他一些文本编辑器)也支持一个名为 Multiple simultaneous text insertion points的功能(至少这就是我在这里称之为)。 要了解这是什么意思，请查看链接。 在现代文字编辑器使用的所有功能中，初步研究似乎表明，这是Emacs和Vim之间并不实际支持的一个功能。如果是正确的，这将是非常特别的，因为很难找到一个文本编辑器功能，至少没有进入这两个老

背景：JEdit(和其他一些文本编辑器)也支持一个名为 Multiple simultaneous text insertion points的功能(至少这就是我在这里称之为)。 要了解这是什么意思，请查看链接。 在现代文字编辑器使用的所有功能中，初步研究似乎表明，这是Emacs和Vim之间并不实际支持的一个功能。如果是正确的，这将是非常特别的，因为很难找到一个文本编辑器功能，至少没有进入这两个老

在对其他文本编辑器感到沮丧之后,我最近发现了 jEdit.它看起来像一个轻量级编辑器,有这么多的插件,它可以成长为一个完整的IDE.我特别喜欢它如何处理SQL.我发现很多人很乐意从Emacs转换到jEdit.但还没有找到从IDE转换的人. 我不是在争论哪个是最好的IDE.我只想知道人们是否积极使用jEdit作为IDE,以及它与他们使用的其他IDE的比较.我一直试图让jEdit成为一个IDE,但它似