diff options
| author | David Aspinall | 1998-10-22 14:28:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-22 14:28:12 +0000 |
| commit | c7a9508798891c67346ee7a6341922286248466a (patch) | |
| tree | f483b9d6924d2e9ca1970456bef591c7b1ea8e6f /etc/ProofGeneral.patch | |
| parent | 18021e2580cd8e667bf40a850bc2b30b3c54e0cf (diff) | |
Split proof.el into proof-config.el, proof-script.el, proof-shell.el
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions