diff options
| author | David Aspinall | 2003-02-22 16:23:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-22 16:23:52 +0000 |
| commit | 98d4de4baed7882c5166d7dfc50c79f9f5732303 (patch) | |
| tree | 9fb9d4b4e63e0438d5595fb67abec99d58b0b527 /generic/proof-script.el | |
| parent | eb30090a5eba23088e8ffe9bfdd1a04700f08329 (diff) | |
Add code to use bundled version, commented out since broken.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions