diff options
| author | David Aspinall | 1998-11-04 13:56:11 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-04 13:56:11 +0000 |
| commit | a47df1c7efedc74ea484ecf278eb5123e9cde36f (patch) | |
| tree | 5990817ab2f6243db36552f05cc7b7bc089f78d1 /generic/proof-script.el | |
| parent | 072b18a32a45984af854453ccfbd96f9682244dd (diff) | |
Reimplemented thy-find-other-file
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions