diff options
| author | Dilip Sequiera | 1996-11-21 15:55:28 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1996-11-21 15:55:28 +0000 |
| commit | ae4ac0d6820e03d5cad6ff11601089fb2880e01b (patch) | |
| tree | e6196c470fc0f3c500105bb28b3644090be168b0 /proof.el | |
| parent | a4907acf9d5b3e576997a4166f8ca08614bf2261 (diff) | |
Synchro bug fixed.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions