diff options
| author | David Aspinall | 2008-01-31 19:28:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-31 19:28:26 +0000 |
| commit | a3337953b7b77bb51f85ab9b5bdc2c2e0114044d (patch) | |
| tree | 284711d6c2d74a2a80f8d8cd414c11da98e90f37 /generic/proof-script.el | |
| parent | b9f40e7b69a7df1751ad132179b4bc28e30b43a5 (diff) | |
Sendback commands from response buffer sent via assert-until-point, with ordinary span construction.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions