diff options
| author | David Aspinall | 1999-10-06 10:49:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:49:24 +0000 |
| commit | 73a83abb1e77ee70e94ec64c40e27c850cd01810 (patch) | |
| tree | 6bc243d15e91812ff77f3e790a04dc4f92182324 /doc | |
| parent | 9ad47b1591d039b43fdbb9ca83234c338ce26d64 (diff) | |
settings for (de)activating scripting, and proof-tidy-response.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions