软件名称:[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 [ 下载地址 ]