GNU TeXmacs 1.0.7.12发布 免费科学编辑软件

GNU TeXmacs是一个具有特殊功能的免费科学编辑软件。该软件为结构化文档的编辑提供一个统一和友好的用户框架，包含的类型有：文字，数学运算，图形，交互式内容。TeXmacs也可以用来作为一个外部系统的接口，如：计算机代数，数值分析，统计等等。

GNU TeXmacs 1.0.7.12版本提供从X11接口切换到新的基于Qt接口的标志，TeX/LaTeX的依赖项已经完全删除。现在新版本都有集成文档和最标准的字体。表编辑器已经有所简化，而且插件可以提出自己的文档。

软件信息：http://www.texmacs.org/

下载地址：http://www.texmacs.org/tmweb/download/download.en.html

时间： 2025-01-27 18:19:05

GNU TeXmacs 1.0.7.12发布 免费科学编辑软件的相关文章

GNU TeXmacs 1.0.7.13发布 免费科学编辑软件

GNU TeXmacs是一个具有特殊功能的免费科学编辑软件.该软件为结构化文档的编辑提供一个统一和友好的用户框架,包含的类型有:文字,数学运算,图形,交互式内容.TeXmacs也可以用来作为一个外部系统的接口,如:计算机代数,数值分析,统计等等. GNU TeXmacs 1.0.7.13版本解决了支持图像的Qt和其他几个错误.添加了Axiom计算机代数系统的Fricas分叉插件. 软件信息:http://www.texmacs.org/ 下载地址:http://www.texmacs.org/D

GNU TeXmacs 1.0.7.14发布 科学编辑软件

GNU TeXmacs是一个具有特殊功能的免费科学编辑软件.该软件为结构化文档的编辑提供一个统一和友好的用户框架,包含的类型有:文字.数学运算.图形.交互式内容.TeXmacs也可以用来作为一个外部系统的接口,如:计算机代数.数值分析.统计等等. < GNU TeXmacs 1.0.7.14该版本完全重新设计用于Qt版本的图标.图形模式下的稳健性也有所增加,添加了更好地支持可扩展的箭头. 软件信息:http://www.texmacs.org/ 下载地址:http://www.texmacs.o

RegularJS 0.2.12 发布，JavaScript MVC 框架

RegularJS 0.2.12 发布,此版本现已提供下载. 看到 regular 的名字就能感受到扑面而来的山寨味,在开始前,我还是要说明下regularjs出现绝对不仅仅是作者的造轮子情绪泛滥的结果 Angularjs的火爆以及它的小伙伴们 Angularjs从 12年开始开始火爆起来, 数据驱动的业务实现方式也由此深入人心, 它的数据更新策略基于脏检查,在明确内部的生命周期后在数据绑定的使用上是最为灵活的(即这种方式不介意是何种方式促使数据改变,而只关心数据改变的结 果),作者本人以及周围

GIMP以GPL协议发布的图形编辑软件安装

GIMP是一个以GPL协议发布的图形编辑软件,是 GNU Image Manipulation Program 四个单词的首子母所写,常常被人们形容为开源的photoshop,当然你也可以免费获得其WINDOWS或者http://www.aliyun.com/zixun/aggregation/11691.html">MacOSX的版本,GIMP是LINUX世界不可取代的矢量图形编辑器,同时它也是一项成熟.成功.活跃的开源项目,你可以在官方站点获得更多信息. 第一个GIMP版本是由伯克利大

苹果发布的视频编辑软件Final Cut Pro X存在诸多问题

许多用户近日抱怨,苹果上周发布的视频编辑软件Final Cut Pro X存在诸多问题,他们宁愿继续使用旧版软件.苹果6月21日推出了新版视频编辑软件Final Cut Pro X,苹果表示,新版软件使视频编辑变得更加容易,并且运行速度更快.但许多用户抱怨,新版软件问题多多,他们宁愿使用旧版本.用户抱怨较多的一个问题是,Final Cut Pro X不能向下兼容,即无法打开旧版软件所制作的项目,甚至包括Final Cut Pro X之前的最新版本Final Cut Pro 7.为此,苹果周三专门

musl 0.7.12发布　程序软件

musl是一个实现基于Linux系统的标准程序库软件.它轻便.快捷.简单.免费.安全,主要是一个代替系统标准库对musl建筑程序的打包(如glibc),从而有可能直接评估库并且与它建立紧密的链接. musl 0.7.12版本改善了以动态链接程序(TEXTREL和RPATH)与不按照正常安装的库的应用程序相兼容.修正了在dlopen影响某些编译器版本的漏洞.支持增加了接口的stdio_ext.h,使其更容易编译漏洞程序,提高了随机功能的线程安全,设置内存映像保护围绕在Linux系统调用,安全的格式

quIRC 0.7.12发布 控制台模式的IRC客户端

quIRC是一个轻量级的控制台模式的IRC客户端.它采用终端转义序列来提供一个清晰的字符单元界面,包含处理多渠道和服务器(使用定位).输入行编辑(用bash-like键输入)以及backscroll. quIRC 0.7.12该版本修正了几个小问题,如处理SIGWINCH,设置窗口标题的选项,修复了Fedora一些编译警告选项禁止,用户名和fullName .支持服务器的口令,选项 - 通= <passwd>(相应的条目,并在〜/ .quirc / RC). 软件信息:http://jttlo

gentoo 0.19.12发布 文件管理器

Gentoo是一款使用双面板概念的GTK++文件管理器.它努力打造出一款易配置和让你从一个GUI程序本身进行配置的工具.通过GIOhttp://www.aliyun.com/zixun/aggregation/18564.html">虚拟文件系统层随时随地进行文件系统访问,使用高级的文件类型和样式系统,Gentoo能够在列表中显示文件,以及文件操作.该软件包括一个超过120个独特的手工制作的图标,用于多种不同类型的文件. gentoo 0.19.12版本修复了阻碍执行所选择命令的问题,修复

Remote Launcher App 0.2.12发布 远程控制工具

Remote Launcher App是一个易于使用的工具,通过远程单一点击一个Android设备,可以用来启动你PC上的应用程序.它也可以用来启动你的电脑,即使是关闭的,支持局域网唤醒.在你的电脑中,它包括一个http://www.aliyun.com/zixun/aggregation/1997.html">Android应用程序和一个小服务器程序,你可以配置远程启动,在PC上启动任何应用程序.例如,它可以启动你的媒体中心,关机或重新启动计算机,或者运行自定义脚本. Remote La