diff options
| author | Healfdene Goguen | 1997-11-26 17:23:51 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-26 17:23:51 +0000 |
| commit | aa910d291903d518325f3a74aaaffe13a1a38e29 (patch) | |
| tree | 57cbc5f614b3c262eb737ebb55f45bb483f7f34a /todo | |
| parent | dc32141739045df2eebdd649802f815470b58a15 (diff) | |
Added C-c C-s to run "Search" in Coq.
Moved coq-goal-with-hole-regexp etc to coq-fontlock.
Removed various superfluous definitions for COQPATH etc.
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions