diff options
| author | David Aspinall | 2007-05-25 14:00:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-05-25 14:00:46 +0000 |
| commit | 889cf8bba734f4972cbc15dc67e39ea539605ccd (patch) | |
| tree | 992a30b7c7f1ba82cbb1ae3e076f0f1a3231800e /etc | |
| parent | ac58f98f0ea13508d2e1d0b9bcbeaacce0541b0b (diff) | |
Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions