diff options
| author | Pierre Courtieu | 2007-04-16 12:15:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-04-16 12:15:52 +0000 |
| commit | c703ca2177dc305224125dbc25326453004e7d58 (patch) | |
| tree | b3f2b93f03ef2a12e6c6e66bba38a08b336a236a /pgshell | |
| parent | e9ad6746f96b5baa78df707ee29062dc2f3baa17 (diff) | |
Adapted to hybrid response/goals outputs from coq. We need something
generic on that. Currently I use proof-shell-process-output-system-specific.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions