TLAPlus

由 Calvin-L ST3

Sublime Text 3 对 TLA+ 语法进行高亮显示

标签语言语法

详细信息

版本 1.0.3
主页 github.com
问题 github.com
修改时间 4年前
最后视图 2小时前
首次出现 4年前

安装次数

总数 101
Win 38
Mac 45
Linux 18

	8月6日	8月5日	8月4日	8月3日	8月2日	8月1日	7月31日	7月30日	7月29日	7月28日	7月27日	7月26日	7月25日	7月24日	7月23日	7月22日	7月21日	7月20日	7月19日	7月18日	7月17日	7月16日	7月15日	7月14日	7月13日	7月12日	7月11日	7月10日	7月9日	7月8日	7月7日	7月6日	7月5日	7月4日	7月3日	7月2日	7月1日	6月30日	6月29日	6月28日	6月27日	6月26日	6月25日	6月24日	6月23日
Windows	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
Mac	0	2	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
Linux	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

读我

源码: raw.githubusercontent.com

Sublime Text 3 对 TLA+ 语法进行高亮显示

这是一个 Sublime Text 3 软件包，用于定义 TLA+ 语法高亮显示和其他优点。

安装

克隆此存储库并将其复制到您的 Sublime 软件包文件夹。我希望最终能在 Package Control 中提供此软件包。

内容

tla.sublime-syntax: 语法定义（另见：范围命名）
symbols.tmPreferences: 符号导航
comments.tmPreferences: 注释规则
syntax_test_tla.tla: 语法高亮测试

测试远未完成。它们并不全部通过；你可以在奇怪的地方放置注释来阻止语法高亮规则。