软件名称：[B]VisualTLA Beta 3版本_VisualTLA Beta 3[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：830 KB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

编辑TLA语言这个程序。

VisualTLA的设计是一个TLA语言的编辑器。

下面是一些主要特点“VisualTLA”

·语法高亮
·代码完成
·打印支持
·查找和替换设施。

此版本中的新功能：

·能力（正确）运行TLA文件
·自动完成增加
·TEX，DVI和PDF生成，通过TLA和MikTeX
·阅读选项设置CLASSPATH变量
·错误本地化编译/执行输出
·做了一些改进。新的神器出山:www.shenqi73.comCFG编辑器窗口:)
很多小的修正

[url=http://www.sot9.com/soft/102120.html][B]VisualTLA Beta 3版本_VisualTLA Beta 3[/B][/url]

点这里下载->VisualTLA Beta 3版本_VisualTLA Beta 3 [ 下载地址 ]