GNU TeXmacs 1.99.13 发布-低调大师

GNU TeXmacs 1.99.13 发布

2020-06-07 645

GNU TeXmacs v1.99.13发布了，以下是重要变更：

使用Python实现的一系列插件迁移到了Python 3
初步完成了用于代码高亮的编程语言解析框架
Graphviz插件开始支持代码高亮，并新增中文文档
Maxima插件新增中文文档，并修复了一些已知问题
Octave插件做了大量改善，但仍旧在开发中

Octave插件（Octave 5.x）在Windows平台仍旧不可用，有在Windows平台使用Octave插件的用户，可以使用开发者邮件列表中Lid Lor实现的OctaveX插件。

GNU TeXmacs 是一个所见即所得的科学公式编辑软件，提供一个独一无二、使用便利的框架用来编辑结构化文档。

微信关注我们

原文链接：https://www.oschina.net/news/116245/texmacs-1-99-13-released

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

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

教科书级讲解，秒懂最详细Java的注解

教科书级讲解，秒懂最详细Java的注解 Java注解一、Java注解概述注解（Annotation），也叫元数据。一种代码级别的说明。它是JDK1.5及以后版本引入的一个特性，与类、接口、枚举是在同一个层次。它可以声明在包、类、字段、方法、局部变量、方法参数等的前面，用来对这些元素进行说明，注释。二、注解的作用分类编写文档：通过代码里标识的元数据生成文档【生成文档doc文档】代码分析：通过代码里标识的元数据对代码进行分析【使用反射】编译检查：通过代码里标识的元数据让编译器能够实现基本的编译检查【Override等】编写文档首先，我们要知道Java中是有三种注释的，分别为单行注释、多行注释和文档注释。而文档注释中，也有@开头的元注解，这就是基于文档注释的注解。我们可以使用javadoc命令来生成doc文档，此时我们文档的内元注解也会生成对应的文档内容。这就是编写文档的作用。代码分析我们频繁使用之一，也是包括使用反射来通过代码里标识的元数据对代码进行分析的，此内容我们在后续展开讲解。编译检查至于在编译期间在代码中标识的注解，可以用来做特定的编译检查，它可以在编译期间就检查出“你...

2020-06-07

642

mica 2.0.2-GA 发布，修复日期 bug

mica（云母） mica 由如梦技术内部的 lutool（撸秃）演变而来。lutool 诞生于 2017 年，受 jhipster 启发逐步形成一个微服务的核心集。因 lutool 名称与功能不太符合，故在2019年开源时将其改名为 mica（云母），寓意为云服务的基石。 mica 2.x核心依赖 mica 基于 java 8，没有历史包袱，支持传统 Servlet 和 Reactive（webflux）。采用 mica-auto 自动生成 spring.factories 和 spring-devtools.properties 配置，仅依赖 Spring boot、Spring cloud 全家桶，无第三方依赖。市面上鲜有的微服务核心组件。依赖版本 Spring Boot 2.2.x mica 2.0.2-GA 更新说明 release 版本号格式为 x.x.x-GA，响应冷神的吐槽。 Fixing DateUtil.parse github #25，感谢 kinsey-jian 同学的反馈。 mica-core 完善 javadoc，方便生成文档。 mica-...

2020-06-07

831

资源下载

更多资源

优质分享Android(本站安卓app)

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Oracle Database，又名Oracle RDBMS

Oracle Database，又名Oracle RDBMS，或简称Oracle。是甲骨文公司的一款关系数据库管理系统。它是在数据库领域一直处于领先地位的产品。可以说Oracle数据库系统是目前世界上流行的关系数据库管理系统，系统可移植性好、使用方便、功能强，适用于各类大、中、小、微机环境。它是一种高效率、可靠性好的、适应高吞吐量的数据库方案。

Apache Tomcat7、8、9（Java Web服务器）

Tomcat是Apache 软件基金会（Apache Software Foundation）的Jakarta 项目中的一个核心项目，由Apache、Sun 和其他一些公司及个人共同开发而成。因为Tomcat 技术先进、性能稳定，而且免费，因而深受Java 爱好者的喜爱并得到了部分软件开发商的认可，成为目前比较流行的Web 应用服务器。

Java Development Kit(Java开发工具)

JDK是 Java 语言的软件开发工具包，主要用于移动设备、嵌入式设备上的java应用程序。JDK是整个java开发的核心，它包含了JAVA的运行环境（JVM+Java系统类库）和JAVA工具。