diff options
| author | David Aspinall | 2010-08-02 20:17:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-02 20:17:43 +0000 |
| commit | 123f667b9b8e2c37f13f3fc0f5176863f15dd5c5 (patch) | |
| tree | 069d75b38579654ff6431d4b457c060f0d432ee4 /hol98/example.sml | |
| parent | f001944403b21758db9ce2614202b86d0813273f (diff) | |
Fix for matching names in regexps, restores behaviour of name-aware code such as imenu.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions