diff options
| author | David Aspinall | 2004-06-04 11:41:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-04 11:41:17 +0000 |
| commit | d668cbe874434dbdf41cb82ff4a0d696ccc2586a (patch) | |
| tree | e04ca57db5c3cdec3c89cfe12de4a247c6a479bd /FAQ | |
| parent | 96264a0745410b6a540575e45410269b4ffff607 (diff) | |
Incorporate suggestions from Achim Brucker: fix LC_CTYPE, load .proofgeneral.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions