diff options
| author | David Aspinall | 1998-11-18 13:31:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:31:56 +0000 |
| commit | 83fca033b496a6438905414cc6a489e494299084 (patch) | |
| tree | ccb2d5f51a13e83c2b9db5712e4a1f9e67382593 /generic | |
| parent | 718938f008dbaa1b086984f98405a042e6b62fff (diff) | |
Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions