diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-06-10 16:57:47 -0400 |
|---|---|---|
| committer |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-10 17:13:56 -0400 |
| commit | b4ed3cf3ce09c397115e7f75372245724410a187 (patch) | |
| tree | 8b3096d38140d791fc4111eaff10038ff40c649a /generic/proof-shell.el | |
| parent | f014a3e98bf916c78b6916b893b5c07fcf7e8be7 (diff) | |
Color lia, romega, nia, psatz, nsatz, lra
This closes #77
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions