diff options
| author | David Aspinall | 1998-10-01 14:27:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 14:27:27 +0000 |
| commit | 6b39632745f76e9e9bf2d14608b2e7533c9607e2 (patch) | |
| tree | 29138085f35b2de3db2e2026ba60ef8e1c96ebf9 /etc/ProofGeneral.patch | |
| parent | 2907b02a9a60396463e3b77470282d05e77e69e4 (diff) | |
Changed configuration. Added goal-command and save-command.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions