#文本编辑
2020-12-24 21:20
Fonio是一个协作性的学术文本编辑器，允许使用网站的体系结构构造参数来构建高质量的静态网站，并可以提供可扩展的资源阵列，例如书目参考，图像，表格，视频和交互式元素。
Fonio强调文档，允许作者以丰富而统一的方式描述他们在查询过程中收集到的所有资源（日期，来源，作者等）。它还允许他们构建增强的词汇表，以定义关键术......
The Kate text editor is 20 years old(kate-editor.org)
2020-12-15 7:51
在此，我再次向KWrite维护人员提出了我在后来称为Kate的“ MDI KWrite”中的工作的要求（抱歉，德语和拼写错误）：
来自：Cullmann Christoph＆lt; [email protected]>致：[email protected]主题：KWrite-改进建议日......
The Era of Visual Studio Code(blog.robenkleene.com)
2020-9-23 4:3
在选择要使用的工具时，我最看重的是寿命。学习软件是一项投资，如果你以后必须切换到另一个应用程序，你就会损失一些投资。
在大多数软件类别中，选择寿命最长的软件是很容易的，最受欢迎的工具通常是使用时间最长的工具。Microsoft Excel和Adobe Illustrator都是在1987年发布的，从那时起，它们在很大......
Formalizing Text Editors in Coq(arxiv.org)
2020-6-9 5:26下载PDF摘要：文本编辑器代表作家使用的基本工具之一--软件开发人员、图书作者和数学家。文本编辑器必须按照预期工作，因为它允许用户完成他们的工作。我们将首先介绍一个成熟的文本编辑器的一个小子集--行编辑器。接下来，我们将给出一个完整文本编辑器的具体定义(规范)。然后，我们将在Coq中提供一个行编辑器的实现，然后我们将......