diff options
| author | Thomas Kleymann | 1998-11-04 13:59:51 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-04 13:59:51 +0000 |
| commit | 2a186eeaa79ac26fc02c1324b1e1052ac1564a3d (patch) | |
| tree | 3e950119b42dc18b0ab79c9d4bdffff6bb7e103c /generic/proof-script.el | |
| parent | bd63ee707863cec05c08e3e5758ac58bb88ae406 (diff) | |
first draft of Advanced Script Management section; I assume there will
be a handy menu item to switch to the shell buffer.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions