diff options
| author | Healfdene Goguen | 1998-01-15 13:30:18 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-01-15 13:30:18 +0000 |
| commit | 284e3566223b6af6f85e659fc6ce835e680d2cff (patch) | |
| tree | f9347101576325df75f345afc378b8b3dc25d657 /proof.el | |
| parent | f4781c9dcabf44a31d8dd65d00e3a46d38867e68 (diff) | |
Added coq-shell-cd
Some new fontlocks
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions