diff options
| author | Thomas Kleymann | 1999-01-18 16:06:35 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1999-01-18 16:06:35 +0000 |
| commit | 6cb8eb51d8a2106a85cf3205fbe0e6d490770c54 (patch) | |
| tree | 2f76184d4b444cb0673089d8908773b7782288d4 /generic | |
| parent | c760bfb5755a4273279f20ef70c62f36a099464c (diff) | |
does indeed crash Proof General, Version 2.1pre990112
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions