diff options
| author | David Aspinall | 2008-01-31 19:12:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-31 19:12:17 +0000 |
| commit | b8e119d6a7be4e27aad70817ae1b082f74861bc0 (patch) | |
| tree | 09bd9ade0b1e6629960b397c966e0907dc9b8ac6 /hol98/example.sml | |
| parent | 1dc8758152c89445de0c6db1d57e02e0942dea2b (diff) | |
Add a mouse-1 binding for active areas in goals/response output.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions