diff options
| author | Dilip Sequiera | 1997-11-26 17:49:06 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1997-11-26 17:49:06 +0000 |
| commit | 804c446ae609a4acfec4c5eabbd84ef55a262e11 (patch) | |
| tree | 45915f8f9d060a0fbdd58545ba2c64a9f507345d /proof.el | |
| parent | aa910d291903d518325f3a74aaaffe13a1a38e29 (diff) | |
Noted bug in popup-eager-annotation
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions