diff options
| author | David Aspinall | 2008-07-21 17:16:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-21 17:16:08 +0000 |
| commit | 8ba7737821d9ecb6735867296472da3ecd250f91 (patch) | |
| tree | 5bc6ab4c8ef2c46832078f8127ab5bce4b30b666 /hol98/example.sml | |
| parent | 5e8ff235a4b74a0ab716e9c59bb7961daf5bde7c (diff) | |
proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,
with improvement due to Stefan Monnier. No change for XEmacs.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions