diff options
| author | David Aspinall | 1998-11-06 15:26:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-06 15:26:13 +0000 |
| commit | 160e5099123f2c7d57e8503ea1f79faaf7c877fa (patch) | |
| tree | 437e77da772b4bae85841f340f75b0c1447dd13b /html | |
| parent | 5c175a17408d066545eb2957bb21d65e9411d4df (diff) | |
Nasty things no longer happen, can't load Proof General more than once
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions