diff options
| author | David Aspinall | 2002-11-18 22:01:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-18 22:01:49 +0000 |
| commit | 257d140db218b53f5469b4dd2a05557bc92db050 (patch) | |
| tree | d757d2e89eec16ce0e466c4b90e446508d2999b8 /generic | |
| parent | f97f8a8f12f0fb6b82cd7d8d4cc34250234e155a (diff) | |
Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions