diff options
author | Jason Gross <jasongross9@gmail.com> | 2016-07-01 11:50:32 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-07-01 14:50:32 -0400 |
commit | 16458db21915a95776f104e7d90a94a61dcf1eb4 (patch) | |
tree | 4184a60a4a93033054f2007e2a7ac20457f75c44 /etc/coq | |
parent | 9274e7448d85e682addb84440bded3800760ae14 (diff) |
Highlight [nra] like [nia] and [lia] and [lra] (#84)
Diffstat (limited to 'etc/coq')
0 files changed, 0 insertions, 0 deletions