diff options
| author | Healfdene Goguen | 1997-11-06 16:46:20 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-06 16:46:20 +0000 |
| commit | 8426dacbd89350acca31c8552df80f3bcf68252e (patch) | |
| tree | 6e87ea22037b4ccc50a64a2d992d1ed460c69d43 /proof.el | |
| parent | 22720e8ed76564289f6e1c35ad1ce2fc1794fadb (diff) | |
Updates to Coq fontlock tables
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions