diff options
| author | David Aspinall | 1999-11-12 19:29:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-12 19:29:14 +0000 |
| commit | 62c3489c748d2a28599efd094eec79f505010a26 (patch) | |
| tree | 8d18b8e889e3bce163d6a7760a03b7cfad6084be /html | |
| parent | b23714933f1ad2c5e026b083771c479b65eecffa (diff) | |
Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class of command. (For Plastic)
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions