lhs2tex

lhs2tex 1.17

lhs2TeX是预处理程序生成文学Haskell源代码的LaTeX 要求：已经证实建立在Linux和MacOSX的。 - 你需要一个最近的GHC（5.04.X或更高版本应该做的）版本来构建lhs2TeX，当然，你需要一个TeX的分布利用lhs2TeX的输出。该程序包括配置适合于用乳胶使用。从理论上讲，应该有生成其他TeX的口味，如plainTeX或上下文代码没有问题 功能： < UL> 不同的风格来处理你的源文件：例如，＆QUOT;...

12 Apr 16
Linux
阅读更多
Ordinary Metacity

Ordinary Metacity 0.2

普通Metacity的是Metacity窗口装饰免费主题，由贝斯平，铬和氧气严重的启发。如何安装？有关详细的安装说明，请参见下面的教程： http://www.softoware.net/apps/download-how-to-install-gnome-themes-in-ubuntu-for-linux.htmlWhat是新的在此版本中： ...

12 Apr 16 在 桌面增强, Metacity的主题
Linux
阅读更多
Purple Popper

Purple Popper 1.0

紫波普尔是GNOME＆NBSP一个开源的主题，桌面环境，提供了一个紫色的配色方案。如何安装？有关详细的安装说明，请参见下面的教程：http://www.softoware.net/apps/download-how-to-install-gnome-themes-in-ubuntu-for-linux.html...

12 Apr 16 在 桌面增强, 主题
Linux
阅读更多
XMLStarlet

XMLStarlet 1.5.0

XMLStarlet是一个免费的集合，可以用来转化，验证命令行实用程序，查询和编辑XML文档。该XMLStarlet命令行工具是用C语言编写，并使用和的libxslt库的libxml2从http://xmlsoft.org。 什么是新的在此版本中： 该版本修复了试图运行PYX上不存在的文件，并在UNESCAPE命令的边界条件时崩溃征求意见稿和SEL命令现在可以参考文档的顶层默认命名空间＆QUOT; _＆QUOT;或QUOT;默认＆QUOT;并给予友好的消息，如果用户没有意识到他们需要指定命名空间。...

12 Apr 16 在 网站开发软件, XML，RSS，CSS工具
Linux
阅读更多
ACID

ACID 1.3

酸是GNOME桌面黑暗，简约，快捷GTK2主题。如何安装？右键·单击桌面上，选择更改桌面背景·点击第一个选项卡：主题·拖放在外观Preferences窗口主题的档案。·如果一切正常，您将收到一条确认信息，你可以直接通过点击激活它的主题。关于GNOME： GNOME是一项国际努力，构建一个完整的桌面环境＆MDASH;它坐落在一个计算机操作系统及MDASH顶部的图形用户界面;完全由自由软件。这个目标包括创建软件开发框架，选择应用软件的台式机，并在其管理的应用程序启动，文件处理和窗口和任务管理程序的工作。...

12 Apr 16 在 桌面增强, 主题
Linux
阅读更多
TV Browser

TV Browser 3.3.3

电视浏览器是一个免费的电子节目指南。电视浏览器提供了140多个主要有德国站 本发行版是新的： 电视浏览器3.3.3之前的版本修复的错误和带来了很多小的改进。所以我们期待更好的稳定性和更好的用户体验，TV-浏览器3.3.3。 什么是版本3.0 RC3新： 这主要是修复了TV-浏览器3.0 RC2的错误。 什么是新的在2.7.5版本： 电视浏览器2.7.5修复一个主要的和一些小错误。主要的缺陷可能会阻止德国选秀节目在安装向导上市......

12 Apr 16
Linux
阅读更多
dvdisaster

dvdisaster 0.72.5

dvdisaster是C语言编写，旨在为防止造成的划痕或老化CD，DVD和蓝光介质数据丢失的纠错工具，一个开源的图形化软件。 dvdisaster以这样的方式，它可以创建将补偿的读取错误，这不是由在CD-ROM，DVD-ROM或BD驱动器纠正的纠错码设计即使它的名字与DVD启动，该项目还支持CD-ROM和蓝光设备。 dvdisaster将尝试从损坏的媒体上读出的数据就越多。 本发行版是新的： < LI>小错误修复为GNU /...

12 Apr 16
Linux
阅读更多
Pekwm

Pekwm 0.1.17

Pekwm，又称PEK窗口管理器，是一个开源的，不显眼的和完全免费的窗口管理器基础上，aewm ++项目，这也是一个窗口管理器软件。 Pekwm被设计为在基于Linux内核的操作系统使用的在功能一览主要功能包括窗口分组（类似于Fluxbox中，离子和PWM窗口管理器），支持Xinerama，自动性能，以及支持钥匙扣一个keygrabber，所有用途提供可用性。在X...

12 Apr 16 在 桌面增强, 窗口管理器
Linux
阅读更多
Aseba

Aseba 1.3.3

Aseba是一个跨平台的电脑软件，可以让您轻松快捷地规划机器人。它提供了一个直观的和现代的图形用户界面，它是免费发放，并支持所有主流的操作系统，由于其开放源代码许可。支持多种机器人该软件是从地上爬起来创建为基于事件的机器人框架，能够实现高效资源开发，以及分布式控制，多处理器的微控制器的移动机器人。目前，它支持Thymio...

12 Apr 16
Linux
阅读更多
CAELinux

CAELinux 2013

CAELinux是基于世界＆rsquo的一个开放源码的Linux发行版，最流行的免费的操作系统，Ubuntu Linux操作系统，以及对CAE齿轮（计算机辅助工程）和FEA（有限元分析）的任务。分布式作为一个64位的现场DVD这是分布式作为一个单一的，64位兼容的现场DVD ISO是部署的USB闪存驱动器或刻录一张空白DVD光盘映像。用于在Amazon...

12 Apr 16 在 系统工具, Linux发行版
Linux
阅读更多
按类别搜索
热门软件