diff options
| author | David Aspinall | 1998-10-23 10:02:31 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-23 10:02:31 +0000 |
| commit | e5c96b5a60eec1a64de3fd93d0d21e867a09c0f5 (patch) | |
| tree | e448cb91ec00e6862f41fabb84c3b84ea6c354aa /etc/ProofGeneral.patch | |
| parent | 46620558210c52a6ca510a77f2ae3bfc48941a05 (diff) | |
Added proof-mode-for-script setting.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions