diff options
| author | Makarius Wenzel | 2002-02-08 11:34:32 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2002-02-08 11:34:32 +0000 |
| commit | f862f8902b13d73e3a479340b51e9bc31925ebbc (patch) | |
| tree | b3aecb04e5c0f9bd3436dbc62ab7a1eae1bce2e4 /html | |
| parent | 64fc710ad0c261f93ce914534326e5b461b69773 (diff) | |
more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions