diff options
| author | David Aspinall | 2001-01-12 17:53:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-01-12 17:53:33 +0000 |
| commit | a30e5aa8addc99070655ec2f2377cf13e7c9a3d6 (patch) | |
| tree | fafd801a3d8b4bed7cf798c114562c01aa02d68d /FAQ | |
| parent | e5384e11dedcb416eff5df7c96aa0f1e4f943c37 (diff) | |
Fix loading thy mode fist problem: require proof-script since context
menus are now added for response/goals buffer, which requires proof mode.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions