diff options
| author | Pierre Courtieu | 2016-06-08 14:59:32 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2016-06-08 14:59:32 +0200 |
| commit | 86afe9ba314da0f39a7526cdb34a3972beb075e2 (patch) | |
| tree | 6dc4468b61e297725d8f6cbc30093c2ef4cb592f /generic/proof-shell.el | |
| parent | e819d81b2da200b45fac81693f357c1fba66ed07 (diff) | |
Fixing font-locking of unicode forall etc.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions