diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1997-11-26 14:15:21 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1997-11-26 14:15:21 +0000 |
| commit | 7994af8d933c0ddec7e3b99670ade785e29ecb7c (patch) | |
| tree | e8f5c670cfff2e0c7159a8e49293753469565a91 /coq-fontlock.el | |
| parent | b5efe9c344246e001886e44d451e61cce3a1819e (diff) | |
o simplified code:
lego-goal-with-hole-regexp and lego-save-with-hole-regexp is now
used for lego-font-lock-keywords-1 as well
o improved lego-find-and-forget
Diffstat (limited to 'coq-fontlock.el')
0 files changed, 0 insertions, 0 deletions