diff options
| author | David Aspinall | 1998-10-12 16:43:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 16:43:57 +0000 |
| commit | 3c7a1fdf21758b9b09452725c98ebd8ce0f12c15 (patch) | |
| tree | 8bf9560d6007a2dc648afff17dfc5d3d643eb82b /etc/ProofGeneral.patch | |
| parent | 78bfc48fc58ef311c187be6b89e2fb9c006cf2c4 (diff) | |
Fixed bug in proof-toolbar-qed.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions