VisualTLA Beta 3版本_VisualTLA Beta 3下载地址

编辑TLA语言这个程序。

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

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

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

此版本中的新功能：

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