diff options
| author | David Aspinall | 2002-02-23 17:36:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-02-23 17:36:11 +0000 |
| commit | 43551a31ed10149e8c0823e5f797afc67f27b517 (patch) | |
| tree | e160f7d3177859fb4ab67e26b4b18f8a9f86582a /FAQ | |
| parent | e8e1f236aec7f90cc13e1992dfb1364fda54bb66 (diff) | |
Updates to font-lock handling in proof-fontify-region, proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions