diff options
| author | David Aspinall | 2008-01-15 23:18:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-15 23:18:58 +0000 |
| commit | 36d658254d1c62d0a627ddc4ddd6bedc6580b279 (patch) | |
| tree | 247c7c372a5ce64f3a80e8d2c032a4bdac006607 /lib | |
| parent | 5c15d9a0ad129b0407cabfe202a142c91a34e110 (diff) | |
proof-x-symbol-decode-region: add fontification to fix missing subscript/subscripts.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions