diff options
| author | David Aspinall | 1999-01-15 16:22:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-15 16:22:06 +0000 |
| commit | 56115fcdb393c1133ac2ba65fb6ec73f579fb689 (patch) | |
| tree | 474117354be1be8f9dbe8c2492b78f22fc806201 /generic/proof-script.el | |
| parent | da39b3a8e98d4cd15d13c9831ca3a883f3e466e5 (diff) | |
Ambitiously mentioned bug fix for Solaris problem
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions