diff options
| author | David Aspinall | 2000-03-19 06:52:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-19 06:52:52 +0000 |
| commit | e852df77fa93180fcf01dadc3308161893fe475d (patch) | |
| tree | d9c4732dc2bedd35a0a3f4476e54b1db9a65429f /html | |
| parent | f08daaaa648cb6b9aedee3885b82a806d224c867 (diff) | |
Added proof-{mode}-font-lock-keywords configuration settings (used by easy-config). Also silent threshold
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions