diff options
| author | Healfdene Goguen | 1998-05-05 14:22:48 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-05 14:22:48 +0000 |
| commit | 9a23badd0dd4eefd8e2362f9bdfccc2f657f79da (patch) | |
| tree | 6c4c31ec7742af1618174b5c96aabc1fe0953642 /todo | |
| parent | 6ec842a19db95654ed8ba079dba8c252f23f3bb8 (diff) | |
Added lego-goal-command-p to fix Coq's problem with "Definition".
Removed lego-killref from menu.
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions