diff options
| author | David Aspinall | 1999-09-13 14:20:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 14:20:53 +0000 |
| commit | 33535c43eac23dd3981ada7a69250644d8be4a2e (patch) | |
| tree | 6cc04eb59c2c60ff035f4ab4f4c37f868e958ec4 /generic/proof-script.el | |
| parent | eadcde77e746dee4b8f1dbfff483f59d1aeff76c (diff) | |
Mentioned toolbar enabler potential problems
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions