GNU TeXmacs v1.99.12 发布-低调大师

GNU TeXmacs v1.99.12 发布

2019-12-16 723

本次发布包含一下改进：

1. 完善了法语和丹麦语的界面翻译

2. 支持Java语言的代码块

3. 新增了使用Python撰写插件的文档

4. Asymptote, DraTex, Gnuplot, Graphviz, Xypic 这些插件使用Python重新实现，并且可以在Windows/macOS/Linux三个平台上使用

5. 新增SymPy插件

6. 改善导出成HTML时，公式的展示（使用MathJax或者图片）

7. 改善了语法高亮功能中对于数值的解析

微信关注我们

原文链接：https://www.oschina.net/news/112119/gnu-texmacs-1-99-12-released

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Atom 1.42.0 发布，跨平台文本编辑器

Atom 1.42.0发布了。Atom 是 GitHub 专门为程序员推出的一个跨平台文本编辑器。具有简洁和直观的图形用户界面，并有很多有趣的特点：支持 CSS、HTML 与 JavaScript 等网页编程语言，支持宏、自动完成分屏功能，集成了文件管理器。此版本显著变化包括： #19770- HTML 增加标点符号 #19795- 添加对 Ruby 文字符号数组内符号的语法高亮的支持 #19840-使用 Tree-sitter 解析器时，添加对 alias、alias_method、block_given？、defined？、iterator？、super 和 undef 的 Ruby 语法高亮的支持 #19880- 使用 Tree-sitter 解析器时，改进 JavaScript 函数名称和函数参数有语法高亮 #19908- 在 Markdown 文件中使用防护代码块时，添加对 jl 的支持作为 Julia 语言的语言标识符详情查看更新说明： https://github.com/atom/atom/releases/tag/v1.42.0

2019-12-17

748

Cygwin 3.1.0 发布了，Cygwin是许多自由软件的集合，最初由Cygnus Solutions开发，用于各种版本的Microsoft Windows上，运行UNIX类系统。Cygwin的主要目的是通过重新编译，将POSIX系统（例如Linux、BSD，以及其他Unix系统）上的软件移植到Windows上。Cygwin移植工作在Windows NT、Windows 2000、Windows XP以及Windows Server 2003上比较好，在Windows 95和Windows 98上，相对差劲一些。目前Cygwin由Red Hat等负责维护。新版本包括： * cygwin-3.1.0-1 * cygwin-devel-3.1.0-1 * cygwin-doc-3.1.0-1 该版本包含一些新特性和 bug 修复，主要有： - Add 24 bit color support using xterm compatibility mode in Windows 10 1703 or later. Add fake 24 bit color support ...

2019-12-17

758

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。