diff options
| author | David Aspinall | 2009-08-14 12:49:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:49:17 +0000 |
| commit | 86d27b50e103ac2cce25b9543e81d405ce061b9f (patch) | |
| tree | 840e204db3451c902ed0ab9cd665d4fd5afd4d8b /generic/proof-script.el | |
| parent | 6bf9310b98723952fb40e94aea45c0df3115403c (diff) | |
Add identifier info command to toolbar
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions