diff options
| author | Healfdene Goguen | 1997-11-26 17:12:55 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-26 17:12:55 +0000 |
| commit | 80a2b081dee80d0b0cfa3361fd03048d776a11e6 (patch) | |
| tree | 6b2d604dfe13a16f46a7ffd52fc8da139a1ea881 /proof.el | |
| parent | 9b394b679da9d6a2671c5f83f1c31384091d2623 (diff) | |
Incorporated tms's suggestion for simplifying coq-font-lock-keywords-1
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions