diff options
| author | David Aspinall | 1998-11-06 15:17:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-06 15:17:34 +0000 |
| commit | 5c175a17408d066545eb2957bb21d65e9411d4df (patch) | |
| tree | ec50e86f01a9e0f12af669450cf883c576e59a65 /html | |
| parent | 941138860e59812bdfb5475217479592e8ca3284 (diff) | |
Give error message when attempting to load a second instance of Proof
General, and give up loading.
To save embarrasment in demos, 8-).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions