ChkTeX 1.6.6发布 语义检查工具

ChkTeX 是一个LaTeX的语义检查工具,用于查找在LaTeX文本中的语法和排版错误的工具。

ChkTeX 1.6.6该版本修正了一些内存问题。

软件信息:http://www.nongnu.org/chktex/

下载地址:http://download.savannah.gnu.org/releases/chktex/chktex-1.6.6.tar.gz

时间: 2024-09-20 05:46:02

ChkTeX 1.6.6发布 语义检查工具的相关文章

ChkTeX 1.7.0发布 语义检查工具

ChkTeX 是一个LaTeX的语义检查工具,用于查找在LaTeX文本中的语法和排版错误的工具. ChkTeX 1.7.0该版本现在支持PCRE正则表达式语法中用户定义的警告,并抑制对某些给定的行通过一个LaTeX评论警告.增加了支持宏影响的数学模式(例如,\ensuremath 和 \text). 软件信息:http://www.nongnu.org/chktex/ 下载地址:http://download.savannah.gnu.org/releases/chktex/chktex-1.7

DeepMind和暴雪联手发布开发工具和replay数据集,让更多AI研究者玩上星际2

雷锋网 AI 科技评论按:去年年底的时候,大家都知道了 DeepMind 的人工智能要开始玩星际了,今天DeepMind 也正式发布了论文和相关博文介绍了自己在这方面的成果,他们与暴雪联手发布了一系列工具,方便更多的研究者参与到(让人工智能)玩星际2中来.雷锋网 AI 科技评论编译如下. DeepMind 一直抱有这样的一个科学目标:构建能学会解决复杂问题的系统,以此来不断推进人工智能的发展前沿.为此,DeepMind 开发了各种各样的智能体,然后在自己搭建的 DeepMind Lab 平台上用

支持云联盟 Sun今日发布云安全工具

Sun Microsystems公司今天发布了创 新的.开源的云计算安全工具,并宣布支持最新的"云计算安全联盟(Cloud Security Alliance)"的安全规范.此举是Sun公司帮助客户和合作伙伴创建开放的.具有互操作性的公有云和私有云的战略的一部分.Sun矢志不渝地致力于提供 最好的技术和实践,以帮助用户为企业中和云中的关键数据保驾护航.Sun的云计算安全结构化的模块的发布,将为用户在公有云.私有云和混合 云计算环境中,提供高安全性.高可用性.易管理的企业级云计算服务.通

谷歌发布adb-fastboot工具独立包

 谷歌发布adb-fastboot工具独立包 想要不安装android sdk庞大的文件,而能使用adb和fastboot等工具包? 谷歌工程师Elliot Hughes告诉我们谷歌最新的工具独立包: 来源:http://www.androidcentral.com/get-adb-and-fastboot-utilities-without-installing-sdk-directly-google 下载: Download the Android SDK tools for Windo

Struts2远程代码执行漏洞CVE-2017-9805 s2-052 绿盟科技发布扫描工具

5日晚,apache官方发布公告称, Struts2出现严重远程代码执行漏洞 .发布通告不到一天,又更新了受影响版本的范围,增加了Struts 2.12 - Struts 2.3.33 ,此外还有Struts 2.5 - Struts 2.5.12.请尽快升级到 Struts 2.5.13 ,官方通告中称 Struts2在使用带有 XStream 处理程序的 Struts REST 插件,处理 XML 有效负载时,可能发生远程代码执行攻击 绿盟科技随即发布发布预警通告(见本文后半部分),并给出C

Facebook发布新工具:防止用户被前任用艳照报复

北京时间4月6日早间消息,Facebook周三称,该公司已经发布了最新工具,目的是帮助用户更容易地举报所谓"报复艳照",并自动防止这种艳照在一旦被禁以后再次被人分享. "报复艳照"(revenge porn)是指未经照片主角允许就在互联网上分享其露骨艳照以对其进行敲诈或羞辱的行为,这种行为对女性的影响尤其大,她们有时会成为前"玩伴"的目标对象. Facebook已在美国及其他国家受到相关起诉,被指没有采取足够措施来防止这种行为.该公司在2015年

Adobe发布小工具可将Flash转换为HTML5文件

北京时间3月9日凌晨消息,Adobe今天发布了一款名为"Wallaby"的小工具,可将Flash文件转换为HTML 5文件. 开发人员可在Adobe Labs网站上获得这款工具.Adobe表示,用户可在支持HTML 5的浏览器或iOS设备上查看转换后的文件,而HTML 5并不能支持Flash Professional的一切功能. Adobe Flash在网络视频领域的应用十分广泛.然而,谷歌Android操作系统直至2.2版本才开始支持Flash,而针对平板电脑的Android 3.0

研究人员发布攻击工具 SSL DOS不需任何带宽

研究人员发布了一个攻击工具,任何人都可以把提供SSL安全连接的网站攻击下线, 新的方法被称为SSL拒绝服务攻击(SSL DOS).德国黑客组织"The Hacker's Choice"发布了THC SSL DOS,利用SSL中的已知弱点,迅速消耗服务器资源,与传统DDoS工具不同的是,它不需要任何带宽,只需要一台执行单一攻击的电脑.漏洞存在于协议的renegotiation过程中,renegotiation被用于浏览器到服务器之间的验证.网站可以在不启用renegotiation进程的

美黑客发布破解工具30秒破解3GS版iPhone

北京时间10月13日早间消息,据国外媒体今日报道,美国黑客乔治·霍兹(George Hotz)发布了一款名为Blackra1n的3GS版iPhone破解工具.利用这款工具软件,用户可以在30秒钟内破解3GS版iPhone. iPhone只能在指定移动运营商的网络上运行,而且只能运行通过苹果审批的软件.Blackra1n等破解工具使iPhone能够运行来自Cydia等非官方应用商店的应用.之前,黑客一直没有破解3GS版iPhone以及运行iPhone OS 3.1.2版固件的其他型号iPhone.