diff options
| author | David Aspinall | 1998-12-15 14:24:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-15 14:24:57 +0000 |
| commit | fa67b38e5ae23f3353aa3591422c479e05ba6b99 (patch) | |
| tree | 7f9c7ac616353b2c02e7c49155fe39f0c817db95 /doc | |
| parent | b27acfc00264f2ca9265dda4c24005c9cd1ce708 (diff) | |
Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions