diff options
| author | David Aspinall | 2004-04-15 16:51:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-15 16:51:17 +0000 |
| commit | 68db52355e7136765864cb78e28a39698ca9f7e2 (patch) | |
| tree | bcc6aeb123cd74696ecb42a0e55128fa050579e6 /isa/interface | |
| parent | 15db5e1ad62ec232f1cefb747f98cef3fc4d57f2 (diff) | |
Set frame title format to [Prover] Proof General: buffer.
Diffstat (limited to 'isa/interface')
0 files changed, 0 insertions, 0 deletions