diff options
| author | David Aspinall | 1998-12-15 14:25:38 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-15 14:25:38 +0000 |
| commit | c2e22fc368b8d51f9e878f96b812b0bc602fb322 (patch) | |
| tree | c0726b495c0568444922207e958fc4df44d4d4e2 /doc | |
| parent | fa67b38e5ae23f3353aa3591422c479e05ba6b99 (diff) | |
Fixed broken check on proof-mode-hook.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions