diff options
| author | David Aspinall | 1999-11-12 01:11:33 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-12 01:11:33 +0000 |
| commit | 0211853c6c1bed1ad8e9f6d5a7706e8bda923a14 (patch) | |
| tree | 390c3e0a6d5a139325a42a1b007816000f38c174 /etc/ProofGeneral.patch | |
| parent | ddff38d0da1c2bc3701ddf9556aca15b30cd5f82 (diff) | |
Display qed message in goals buffer
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions