diff options
| author | Dilip Sequiera | 1997-11-24 19:15:16 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1997-11-24 19:15:16 +0000 |
| commit | d5d49621d011a6696a65004a3bac5cc511f08c30 (patch) | |
| tree | 048a96c3f2a5d6886e34199b27b0a1d4c3cc6684 /todo | |
| parent | 1c8a7b0b87cb94c3d0fa23f3492ee03b00606032 (diff) | |
Added proof-execute-minibuffer-cmd and scripting minor mode.
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions