diff options
| author | David Aspinall | 1999-08-20 16:28:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-20 16:28:01 +0000 |
| commit | 8fb1f3775018e7ce66e2ba241cd467f9339a4fda (patch) | |
| tree | a5f74b18f6177d96585280a7a74496ba9db4ba07 /generic/proof-script.el | |
| parent | e625918a2b74c0c421844793bdefe69b79869433 (diff) | |
updated.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions