diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 21:50:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 21:50:32 +0000 |
| commit | e28ca43a04cb004ef958dd56116475a0655eebb3 (patch) | |
| tree | 36105fee016a2192bd15529ab5830f9ccc9bd190 /images/pg-retract.xpm | |
| parent | e75ba290328e69c6912d9d0da4ac38f22ef0da62 (diff) | |
Use coq-prog-name when looking for library, not hard coded coqtop
Diffstat (limited to 'images/pg-retract.xpm')
0 files changed, 0 insertions, 0 deletions