diff options
| author | David Aspinall | 2001-08-31 11:32:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-31 11:32:20 +0000 |
| commit | aad435c16be59fc744242a61e3e2b33d1f3a90f7 (patch) | |
| tree | 0c3a3a065ea0a7e15ae45d5d8d617434cedc8ca2 /generic/proof-script.el | |
| parent | 1c1d856b9265a15d83f245171f4a5af819b1bbb0 (diff) | |
Skip settings which have no PA command in proof-assistant-settings-cmd
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions