diff options
| author | David Aspinall | 2003-02-26 18:36:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-26 18:36:07 +0000 |
| commit | 028423096c11fa5f2d4871619509dbd3dba711c6 (patch) | |
| tree | 51e37a16f9b91eba11cc616516670262b5fe555a /generic/proof-script.el | |
| parent | 37d4d7063279b3e515e7e118c35791ba4f06f2b8 (diff) | |
| parent | f7d0354d67d17ed4d805e292095f84992f3aa7d4 (diff) | |
This commit was generated by cvs2git to track changes on a CVS vendor
branch.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions