diff options
| author | David Aspinall | 1998-11-04 13:57:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-04 13:57:10 +0000 |
| commit | bd63ee707863cec05c08e3e5758ac58bb88ae406 (patch) | |
| tree | 9bcd8ff68aed182ed44ee26fa45e85d5c9c07cd7 /generic/proof-script.el | |
| parent | 95341d3ae61447ff5c9fa9be8f833af2a4195aa5 (diff) | |
Added key binding to switch between theory and ML files.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions